Rule of inference

ID: rule-of-inference

New to topics? Read the docs here!