C Garner Proofs