Automatic Abstraction 2 #77 — Deca