Possible Answers For: Rework proofs