. "The statement For all x in A. P where P is a property, is actually an accepted abbreviation." . . .