Automatic Abstraction 2 #82 — Deca