Rule wk
Rule.
wk
(H ⊢ B) → (H ∧ A ⊢ B)