Text this: Rigorous State-Based Methods