Cutting oils. (Shell,)