constraints there is also the reduced phase space quantization where the constraints are solved at the classical level and the phase space variables of the reduced phase space are then promoted to quantum operators, however this approach was thought to be impossible in General relativity as it seemed to be equivalent to finding a general solution to the classical field equations. However, with the fairly recent development of a systematic approximation scheme for calculating observables of General relativity (for the first time) by Bianca Dittrich, based on ideas introduced by Carlo Rovelli, a viable scheme for a reduced phase space quantization of Gravity has been developed by Thomas Thiemann. However it is not fully equivalent to the Dirac quantization as the `clock-variables' must be taken to be classical in the reduced phase space quantization, as opposed to the case in the Dirac quantization. A common misunderstanding is that coordinate transformations are the gauge symmetries of general relativity, when actually the true gauge symmetries are diffeomorphisms as defined by a mathematician (see the Hole argument) – which are much more radical. The first class constraints of general relativity are the spatial diffeomorphism constraint and the Hamiltonian constraint (also known as the Wheeler–De Witt equation) and imprint the spatial and temporal diffeomorphism invariance of the theory respectively. Imposing these constraints classically are basically admissibility conditions on the initial data, also they generate the 'evolution' equations (really gauge transformations) via the Poisson bracket. Importantly the Poisson bracket algebra between the constraints fully determines the classical theory – this is something that must in some way be reproduced in the semi-classical limit of canonical quantum gravity for it to be a viable theory of quantum gravity. In Dirac's approach it turns out that the first class quantum constraints imposed on a wavefunction also generate gauge transformations. Thus the two step process in the classical theory of solving the constraints (equivalent to solving the admissibility conditions for the initial data) and looking for the gauge orbits (solving the `evolution' equations) is replaced by a one step process in the quantum theory, namely looking for solutions of the quantum equations . This is because it obviously solves the constraint at the quantum level and it simultaneously looks for states that are gauge invariant because is the quantum generator of gauge transformations. At the classical level, solving the admissibility conditions and evolution equations are equivalent to solving