  It says that \(r\) follows from \(p\) together with \(q\) just when \(q \rightarrow r\) follows from \(p\) alone. The validity of the transition from \(q\) to \(r\) (given \(p)\) is recorded by the conditional \(q \rightarrow r\). 