Text this: Hardness, theory and practice /