. . "In addition, the material 32 to be cut may be a rock or mineral, such as limestone, sandstone, shale, granite, or any other geologic formation to be drilled." . .