rings(∞) #765 — Deca