A Specimen of Theory Construction from Quantum Gravity