noninstructiveness

not defined yet