General covariance, loops, and matter.