Ross Used $0+0=0$ in the 2nd proof in 2.1 but I used $0^{-1}$ DNE I think both work?
Ross 3.2