^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Because the first one can be omitted and the last one can't be saved. Putting it there is formalism.
Mathematics is beautiful.