$sudokernel