DM.LR.1.a: Use Venn diagrams to codify and solve logic problems.