New: inconsistency