promise ring subgroup of ring, 1 assertions