Limits and Proofs