. "Suppose S is a mineral." . . .