Actually wanted to head home early to go to the gym, but this proof is coming together nicely... . Ok, let's do this before the weekend!