See Radin, Reinterpreting Property.