Implication
See:
Consequent
.