generally covariant