An interactive web based Syllogistic engine for exploring modes and figures of Aristotle’s categorical syllogisms. Choose the three letters and the figure, a classical name, or the propositions themselves. The machine marks each term Dist (distributed) or Undist (undistributed) and gives its verdict, with the reasons when the syllogism is invalid.