 However, inclusion in the belief set of conditionals that satisfy the Ramsey test will require radical changes in the logic of belief change. As one example of this, contraction cannot then satisfy the inclusion postulate \((K\div p \subseteq K)\). The reason for this is that contraction typically provides support for conditional sentences that were not supported by the original belief state. This can be seen from the following example: