a formal approach #8 — Deca