Lesson 5 - Coherence, claims, and counterclaims