(and the idea I was expressing was "shared references never under any circumstance implement the DerefMut trait")