Rhymes for proofs