 A special case of the structural rule, known as contraction, occurs when the lower sequent has fewer occurrences of a formula than the upper sequent. For instance, \(A, \Gamma\Rightarrow\Delta, B\) follows structurally from \(A,A,\Gamma \Rightarrow \Delta,B,B\).