Worked example: Solving proportions