Situation: Formal logic can create as many problems as it solves.