kernel simplifications