Proofs and ARCs