Update HOME_EXAM.md

HOME_EXAM.md

@@ -284,17 +284,17 @@ Other boolean expressions are
 
 ### Reference and Dereference
 ```math
-\frac{<e,σ> ⇓ v, σ'}{<\&e,σ> ⇓ \text{ ref } v,σ'}
+\frac{<e,σ> ⇓ v}{<\&e,σ> ⇓ \text{ ref } v}
 ```
 
 
 ```math
-\frac{<e,σ> ⇓ v, σ'}{<\&\text{ mut }e,σ> ⇓ \text{ ref mut } v,σ'}
+\frac{<e,σ> ⇓ v}{<\&\text{ mut }e,σ> ⇓ \text{ ref mut } v}
 ```
 
 
 ```math
-\frac{<e,σ> ⇓ v, σ'}{<*e,σ> ⇓ \text{ deref } v,σ'}
+\frac{<e,σ> ⇓ v}{<*e,σ> ⇓ \text{ deref } v}
 ```
 
 ### Function call expression