a man stirring hot oil in a mine .