gracie proofs - Michael Colin Campbell