a formal approach #51 — Deca