Text this: Methods of Cut-Elimination