NSF-Lattice-theories-2020