27/11/2020 (Things I learned)
- Proof theory: syntactic, model theory: semantic
- understand APS's stackexchange question on incompleteness theorem
- wrote a piton3 program that computes its own hash without file I/O
- Did metamath from console! (doing emacs yesterday felt great too)
- formal verification has ALOTTT more to it than i thought.. All i
  knew were the big names, so much of it are small names.
- Playing from console approx doubles my battery life! 1hr -> 2hr lol