inconsistentness
not defined yet