Proofs & ARCs