Automatic Abstraction #74 — Deca