I am 7 minutes into the video, and Vlad Zamfir (developer of Casper) has already not underst00d that proof-of-stake has externalities
My primary issue with Casper is that it relies on transactions to form a consensus, however transactions are subject to consensus, which is a chicken and egg problem much more fundamental than this simple analogy sounds.