392C Geometric Group Theory | Residual finiteness and word-hyperbolic groups