Definition:Forward Implication