Every positive integer is the order of an ordinary abelian variety over F_2 - Everett W. Howe; Kiran S. Kedlaya (2021)