continue to push proofs forward