prettyrobots: checking out proof