For the next time I teach this course:
Start with the notion of Kant. Is space (what is the term? synthetic? a priori? No idea).
No supergroups. limit homework groups to 3.
That's it.