syllogist
not defined yet