Reasoning and Proving Opportunities in Textbooks: A Comparative Analysis. IJRES 2018, 82-97.