Automatic Abstraction 2 #72 — Deca