b' < tr.