Text this: Axioms