Automatic Abstraction 3 #52 — Deca