logic into Kau