add kernelization