Possible Answers For: It may go better with coq