nonsyllogistic
not defined yet