ARCs and Proofs