the-other-half-draws - Isabelle animation that was released on...