Text this: Electrical discharge machining