This instructional book presents a logic game played with a diagram and nine counters. It explains how to express propositions through the relationship between things and their attributes.