Algebraic Quantitative Reasoning Examples