syllogization

not defined yet