Finding all possible logical relations between a finite collection of sets is not a matter of If but Venn.