incompleteness #7 — Deca