 The second way to allow for heterogeneity without contradiction is to relationalize properties. Here the idea (for monadic properties at least) is that instantiation is a three-place relation holding between an object, a property, and a region. So the world might be heterogeneous by, for instance, instantiating red here and green  there.[53]