The Empirical Classification of Formal Groups | Synapse