Traditional Categorical logic, which we covered in Visual Logic , pertains to how collections of individuals relate to one e.g., one category may be contained wholly within another, or two categories may merely overlap. Relational logic introduces a different dynamic into active verbs. Consider the following argument. "Wolfgang listens only to Classical music. Bossa Nova is not Classical music. Therefore, Wolfgang doesn't listen to Bossa Nova." We know that this argument is valid, but it is at least very difficult to validate it using Traditional Categorical logic. In this book, we will expand the approach from Visual Logic to handle relational syllogisms like these.