https://www.youtube.com/watch?v=O3tVctB_VSU
Slides: http://mcdonnell.mit.edu/sussman_slides.pdf
From slides talk-we-do-not-really-know-how-to-compute#merge-information-monotonically1 2Cells Merge Information Monotonically talk-we-do-not-really-know-how-to-compute#merge-information-monotonically1 2