Does that mean the engagement band is just a semiring?