These notes can be directly edited via:
https://docs.google.com/document/d/155517g-H2FocvZf1iYoYMiSUVn2CjhUaVc_ljyBxkTw/edit?usp=sharing