Possible Answers For: Asserts without proof