What is a formal group?