file, rasp; file; polish; (Cant.) to cut