proportions and algebraic manipulation