. . "If S is a P and all P are M, then S is M" . .