Automatic Abstraction #31 — Deca