Telefona gönder: Formal groups and applications.