Automatic Abstraction #93 — Deca