So what I want to do in this video, now that I have a little bit more space to work with, a little bit more sophisticated tools, I'm going to redo the proof and I'm going to do these in the same video to show you at no point do I assume this before I actually show it.