path: root/proof_response_3.txt

Table I requires one more correction. In the third column header, "Action (gs)" should be replaced with "Action (g ★ s)".

Algorithm 1 is typeset correctly.

In the righthand side of the first line in equation (9), "(rs_0)^{-1} (r ★ s)" should be replaced with "(rs_0)^{-1} ★ (r ★ s)".