push some proofs forward