Equations as reductions; Top-level "with"