hypothesis of mining iron ore