debugging for inconsistency