Quantizing space-time