gasoline will heretofore be known as "dinosaur juice"