logical inconsistency