Title: water in mines and mines pumps