Symbol: assert_ring_tail_valid