rearranging terms
a set of simultaneous equations
key: progressive Refinement [M. Cohen]