[math-fun] Conway's angel (hopper) versus devil (square eater)