These are only used in a `property` constructor, i.e. never accessed as attributes.