Well the Isabelle animation isn't going to be finished this month so I'll stop rushing it :o
Have something different instead .w.)b
