 Furthermore, it is closed under the Modus Ponens Rule, which allows to derive \(B\) from \(A \rightarrow B\) and \(A\), and the Generalization Rule, which says that if \(A\) is a theorem of GL, then so is \(\Box A\).