not sure it matters, but this could be covariant.