overinsistency

not defined yet