"The strong CP problem, general covariance, and horizons"