Example of Senior Proof