  A final important example is the rule of contraction which dictates how premises may be reused. Contraction is crucial in the inference of \(p \rightarrow q\) from \(p \rightarrow  (p \rightarrow q)\) 