EDM processing