syllogize

not defined yet