Mac Nicholaou Senior Proofs