DEMENTED kernel