first round of Kernel simplifications