Law of Implication Explained, Part 1