Part IV: The Proof

We tie it all together to build an end to end proof.