push a few more proofs forward