Automatic Abstraction #45 — Deca