syllogizing

not defined yet