kernelizations