Aristotle’s form of deductive argument: two premises sharing a middle term yield a conclusion. All Xs are Y; Z is an X; therefore Z is Y. Its validity depends only on form, not on what X, Y, and Z mean. That is both its power and, as the penguin shows, its blind spot.