Text this: Proofs and Algorithms