Automatic Abstraction 2 #83 — Deca