* for a very specific, nonstandard definition of a kernel machine...