for cutting, cleaving or grinding