interesting facts | mining engineer