rings(∞) #725 — Deca