"P is a property" . . . .