Quantitative Reasoning: Introduction