 Thinning is still useful to cover proofs in which the hypothesis of a subproof is not used in deriving a later formula, as in the formalization of the inference from \(\psi\) to \((\phi \rightarrow \psi)\). Rules of supposition, which discharge assumptions, are formulated as deleting the assumption from the antecedent: thus \(\rightarrow\)-I allows the inference of