Studies of Euler diagrams/formula trees

examples
baringa, bazinga, spam (pictured)