prosedure text about mining underground