Transformation rule
Redirect to:
Rule of inference