Working on Nak logic