What is an example of a formal group?