Quantitative Reasoning I

Real value functions