Creative Movement C Proofs