Neural Abstraction #15 — Deca