Dots_kernel rewrite