by Implication