Higher preprojective algebras, Koszul algebras, and superpotentials. (1st December 2020)