  This explanatory note, based on the geometrical method by Kijovski and
Tulczyjew, describes the construction of the reduced phase space of Lagrangian
field theories, i.e., the correct space of initial conditions with its
symplectic structure. Several examples and, in particular, the case of
four-dimensional gravity in the coframe formalism (Palatini--Cartan theory) are
analyzed.
