push all proofs forward, but none are quite done