Consider the following statement: If $G$ is a finitely generated group, and all elements of $G$ have finite order, then $G$ is a finite group. Is it true? Nope. We'll construct a counterexample (the Grigorchuk group), and then talk a little about the properties and representations of any such counterexample.