30/11/2020 (things i learned)
- Set up metamath practice for the soon coming speedrun
- Thought a lot about quines (slow progress trying to understand mm0)
- explored mm0 almost every inch but no easy lead into
- free software should be in classrooms NOW, renamed to generic things
  like "browser" or "word processor"