Diamond files for removing hardening and for deflashing and polishing the edges after filing.
Diamond file