noninferentially

not defined yet