♣ mediated by @sedimentalArithmetic