Morgan proofs