Mineral oils are much used in industry.