-will be recorded in $\mathsf{CR}$. Since all the $\mathsf{cr}$ entries before \r
-$\mathsf{p}$ will also be seen when $\mathsf{u}$ is received, ${l_1}$ will be recorded \r
-in $\mathsf{CR_C}$ as the winner in the collision against ${r_1}$. When $\mathsf{C}$ \r
-receives $\mathsf{u}$, $\mathsf{C}$ will throw an error from the match \r
-$\mathsf{\tuple{s_q+1, id_K}}$ in $\mathsf{CR_C}$.\r
+will be recorded appropriately. Since all the $\mathsf{cr}$ entries that record \r
+the results of the collisions before $\mathsf{p}$ will also be seen when $\mathsf{u}$ \r
+is received, ${l_1}$ will be recorded in a $\mathsf{cr}$ entry as the winner in the \r
+collision against ${r_1}$. When $\mathsf{C}$ receives $\mathsf{u}$, if $\mathsf{C}$ \r
+has seen the $\mathsf{cr}$ entry that records the collision, it will already throw \r
+an error from the mismatch of $\mathsf{\tuple{s_q+1, id_J}}$ with \r
+$\mathsf{\tuple{s_q+1, id_K}}$ in the corresponding $\mathsf{cr}$ entry.\r