Pip, GLL, Cantor’s Theorem: The Movie, here. File this under boy doesn’t get girl because of inadequate grasp of diagonalization?
The GLL philosophy is always to do things in a novel manner. After all both of us believe that factoring is easy, and one believes that is possible. Our approach to video based courses has been to be different, not just to film a lecture, but to do something else. Indeed to express this philosophy, several of our draft scripts begin with the end of a lecture. It is possible that this will become an “invariant” like several we have for style on this blog.