Logic and Implication