Title: Rat extermination in mines