Possible Answers For: Proof-ending inits.