https://profilpelajar.com/Formal_groups_and_applications