Work on proofs