Color-Corrected Proofs