. . . "If P is a property and R is a superproperty of P then R can have a" . .