Some nice things over the kernel class