. . . "P is a datum and F is equal to P in the sense of" . .