It is in the first few lessons in LR, the lesson is titled "Logic of Intersecting Sets"
Are you sure?
It is in the first few lessons in LR, the lesson is titled "Logic of Intersecting Sets"