Automatic Abstraction #42 — Deca