The proof of work's intent is thus. For the most part, anyways. At equilibrium, the optimistic miners seem to always drive up difficulty beyond a neutral investment.