Austin proofs