Lecture 2: Implication Relations