syllogized
not defined yet