 If a belief base is inconsistent, then it can be made consistent by removing enough of its more dispensable elements. This operation is called consolidation. The consolidation of a belief base \(A\) is denoted \(A!\). A plausible way to perform consolidation is to contract by falsum (contradiction), i.e. \(A! = A\div\smbot\).