Mathematical Modeling and Reasoning