---
title: "2024-05-13"
---

- [x] Anki Flashcards
- [x] KoL
- [ ] Sheet Music (10 min.)
- [ ] Go (1 Life & Death Problem)
- [ ] Korean (Read 1 Story)

* Notes on [[set/graphs#Subgraphs|subgraphs]] and induced subgraphs.
* Notes on [[remotes]].
* Read through chapter 7 of "The Science of Programming", touching on the $wp$ predicate transformer.
* Read chapter 1 of "Elements of Set Theory". Made some progress on chapter 2 which touches on the basic axiomatic foundations.