Converted to higher-half kernel