implication – logique –