higher half kernel