 Consequence relations that are cumulative, strongly absorptive, and distributive satisfy a number of other desirable properties, including conditionalization: If a formula \(p\) is a defeasible consequence of \(\Gamma \cup \{q\}\), then the material conditional \((q \rightarrow p)\) is a defeasible consequence of \(\Gamma\) alone. In addition, such logics satisfy the property of loop: if \(p_1 \dproves p_2 \ldots p_{n-1} \dproves p_n\) (where “ \(\dproves\) ” represents the defeasible consequence relation), then the defeasible consequences of \(p_i\) and \(p_j\) are exactly the same, for any \(i\) or  \(j\).[2]