a formal approach #52 — Deca