Curtis - proofs