Text this: Formal groups and applications.