Artikkelen tar for seg hvordan man kan bygge programvare med en deterministisk kjerne omgitt av et ikke-deterministisk skall, for eksempel ved bruk av AI-modeller eller ekstern I/O. Tilnærmingen gjør det lettere å teste og resonnere om selve kjernelogikken.