Text this: A termination proof for epsilon substitution using partial derivations