Automatic Abstraction #75 — Deca