Title: What do mining firms do?Hotelling faces a panel