Worked on converting to higher-half kernel