Electrical discharge machining.