inferentially

not defined yet