 The graphical arrangement in this diagram is to be understood as follows: If a sequent or sequent rule is assigned to a node \(n\) and node \(n'\) is placed below \(n\), then the sequent or sequent rule assigned to \(n'\) is derivable with the aid of the sequent or sequent rule assigned to \(n\).