Normally, when constructing a perturbative quantum field theory on Minkowski space or any other background spacetime one never doubts that the resulting theory has the correct classical limit. One is satisfied with having found a Fock representation and a definition of the S-matrix, that is, matrix elements of powers of a normal ordered Hamiltonian operator. In fact it is clear from the outset that a theory written in terms of (an infinite number of) annihilation and creation operators has the correct classical limit because one can construct the usual coherent states for the underlying free field theory and then one knows that operators written in terms of the annihilation and creation operators have expectation values very close to the classical values that the corresponding classical function takes at the point in phase space where the coherent state is peaked.

In a constrained, non-perturbative quantum field theory without background structure the question about the classical limit is much less trivial. First of all, since we are using a non-perturbative approach we cannot expand around a free field theory and hence cannot use Fock space (coherent state) techniques. Secondly, since we must work without a background spacetime we are forced to use completely new types of Hilbert spaces for which no semiclassical techniques have been developed so far. Thirdly, the theory is highly non-linear: for example, the constraint operators are simply not polynomials of the basic variables A, E for which one would hope to be able to construct semiclassical states which approximate those.