Text this: Language, proof, and logic