 Cumulativity (Cut plus Cautious Monotony) corresponds to reasoning by lemmas or subconclusions. The Horty-Thomason-Touretzky system does satisfy special cases of Cut and Cautious Monotony: if \(A\) is an atomic statement (a link from an individual to a category), then if graph \(G\) supports \(A\), then for any statement \(B, G \cup \{A\}\) supports \(B\) if and only if \(G\) supports \(B\).