AT Proofs