Austin’s Proofs