Add more useful methods to Kernel