 AGM called (\(*\)1)–(\(*\)6) the basic set of postulates. The supplementary postulates (\(*\)7) and (\(*\)8) concern composite belief revisions of the form \(K*(A\wedge B)\). The idea is that, if \(K\) is to be changed minimally so as to include two sentences \(A\) and \(B\), such a change should be possible by first revising \(K\) with respect to \(A\) and then expanding \(K*A\) by \(B\)—provided that \(B\) does not contradict the beliefs in \(K*A\).