Finite diffeomorphism-invariant observables in quantum gravity.