Carroll-Venn Diagram work in P2F from Alex G