MPThis is what I wanted!
Rule: if "If P then Q" and P are true, then Q is true.
Does "MP" stand for something else?