Output Proof

Witness the majesty of my code