Actually, it's not that hard. It only becomes hard when you try to use taxes to induce the set of behaviours you want. And then, completely suddenly Goodhart's law kicks in.