try to close missing proofs