Mechanized Abstraction #173 — Deca