computational doubt — Deca