If a property P fully fixes all its own determinate features with no remainder, then P determines P ...