Natural Deduction Proof Rules