2021-04-28_AWS_BG_Definitions 2021-04-28_AWS_BG_Formal_Groups 2021-04-28_AWS_BG_Spectra 2021-04-28_AWS_Witt_Vectors_BG Typesetting Progress Link to Folder