Provo-Stateline Mining Company.