goals and partial progress
Updated to reflect HoTT and unsupervised learning