@lanodan Yeah that's Quibble. These proofs rely on you acting like Stanley from that videogame.Interesting program, but inferior to pen & paper with printed instructions.