[1-8] checkpoint, still unhappy
[1-8] finished the monic question
[1-8] compared pushout to Set