. . "a B, and B is a C, then A must be a C. Whether to control nature or" . .