before removing proofs