Fixed flaw in a logic.