Proofs Reversed