Before revision: If the system is inconsistent it means that when the user considers the links in a given category, he will not find all documents relevant to that category.
After revision: /sheIf the system is inconsistent it means that when the user considers the links in a given category, he will not find all documents relevant to that category.