. . . "Therefore, s is a P." . .