Higher half kernel