Automatic Abstraction #19 — Deca