Deterministic Core, Non-Deterministic Shell