Add right_kernel()`