Categorical Syllogisms include "header.inc"; ?>