Following up on un-approved proofs