funny stories | mining engineer