Studies of Euler diagrams/formula trees
decompose
symbolic colors
actual truth values
gapspots/bundles 3-2-2-1
examples
5x5 grid