Categories logic ok