User:Lord Farin/Sandbox/Proof Rules/Definition:Rule of Inference