Modus Ponens and Modus Tollens as Rules

Two patterns already known, restated as licences that apply to formulas of any size