logical Arok