HIGHER $KERNEL