Text this: Models, algebras, and proofs :