  (In these principles we use ‘\(A\)’ and ‘\(B\)’ as metavariables ranging over formulas of the language.) According to the Necessitation Rule, any theorem of logic is necessary. The Distribution Axiom says that if it is necessary that if \(A\) then \(B\), then if necessarily \(A\), then necessarily \(B\).