hyposyllogistic
not defined yet