syllogizer

not defined yet