This was a ‘bonus lecture’ at the end of my course in group theory at Stanford University in Spring 2021.