noninsistencies
not defined yet