Modeling and quantitative Reasoning