nonintroversive

not defined yet