to cut; cutting; machining