. . . "if P is a sentence and x is" . .