Implication
...
,