Text this: Principles and proofs