The Empirical Classification of Formal Groups · Study