. . "If we were told All X are P and x is an X then we know x is P regardless of what x, X and P are." . . .