By implication