progress on proofs