Title: The gas industry vocabulary