Paragraph
Prove that the following is a valid deduction rule:
in-context