Rule exch
Rule.
exch
(H ⊢ A) → (H ⊢ A)