Venn diagrams extended: map logic