a(b+c) = ab + ac · every algebraic expansion is this rectangle · factoring = finding the common side · runs locally