noninferential

not defined yet