unital_ring