Kernelization: