Automatic Abstraction 3 #51 — Deca