syllogist

not defined yet