Additive to cutting fluids to inhibit fungi. See bactericide.