noninsistency

not defined yet