Paragraph

is a valid deduction rule.