https://www.andrewsun.net/panta_rhei/lecture-notes