Shorthand for returning an operational implication
the element that results from the implication
the premise of the implication
the conclusion of the implication