This kind of mining, which is wealth, is actually happiness