Logical Implication and Equivalence 😎