A Study of Acts: Proofs