ION kernel for Sense 5 (Jb 4.1.2)