1. a grinder; an abrader; a polishing machine