a man stirring hot oil in a mine.