RE: pegs into the desert (/proofs/checker)