Intro to proof writing courses are based on a study of formal logic that must be abstract enough to apply to many subjects, but also stay grounded enough for students to understand. For this project, I used graphic design techniques along with the psychology of learning to create images that will increase the understanding of sets and relations. By using a fun overarching metaphor, tacos and a taco bar, it’s easier to see the relationship between these more abstract concepts. Many ideas in this