LogicToKau fix