syllogistics

not defined yet