"r"+1 for each "r" in the ring), and impose no relations in the newly formed ring that are not forced by axioms.Moreover, this construction is "formulaic" in the sense that it works in essentially the same way for any rng.