logic

The english haiku category for logic