This chapter explains in detail the current Hamiltonian formulation of SD, and the concept of Linking Theory of which (GR) and SD are two complementary gauge-fixings. The physical degrees of freedom of SD are identified, the simple way in which it solves the problem of time and the problem of observables in quantum gravity are explained, and the solution to the problem of constructing a spacetime slab from a solution of SD (and the related definition of physical rods and clocks) is described. Furthermore, the canonical way of coupling matter to SD is introduced, together with the operational definition of four-dimensional line element as an effective background for matter fields. The chapter concludes with two ‘structural’ results obtained in the attempt of finding a construction principle for SD: the concept of ‘symmetry doubling’, related to the BRST formulation of the theory, and the idea of ‘conformogeometrodynamics regained’, that is, to derive the theory as the unique one in the extended phase space of GR that realizes the symmetry doubling idea.
