Automatic Abstraction 3 #19 — Deca