syllogistically
not defined yet