nonintroversively

not defined yet