A1.2 (c): Done. Need nicer formulation.