Text this: Equivalence and theory expansion.