of cooling or lubricating fluids