inferial
not defined yet