theterriblecon - One of the Isabelle sketches I did during the...