Thompson did not start with groups. He started with a monoid and proved that it is finitely presented. His argument is very elegant, driven by a flow of ideas and with only a very minimal amount of technical miracles. I will present Thompson's argument.