keep stale proofs in sync anyways