Lessons in Logic 20.5: Venn Diagrams for Immediate Inferences in Categorical Logic