inconsist -> inconsistent