Automatic Abstraction 3 #64 — Deca