Implication as Modalities