fixed eqns and example alignment