in the solution to exercise
7.3 C0p - Basics the expression L[*z]\sigma (I don’t know what the latex shortcut for the special bracket is) is immediately transformed into R[z]\sigma without proving that the later term is an address. Obviously the following calculation of R[z]\sigma proves this, however reading the equations from left to right we are using something before we have established it.
This seems like something a student might do in the exam (because it is fast and it is done in the lecture/exercises) and then get points deducted for it.
& operator in this solution doesn’t render correctly.