nonsyllogizing

not defined yet