Tag: declaration of inconsistency