Text this: Specialization of derivations in modal logic S5