>>thauma+(OP)
Well, some companies seem to end up with weird incentives where it makes sense to be less productive. For example, a dev might create some script that eliminates some data processing roles. The CEO might decide to not implement it solely to save a few jobs. If there’s a tax for not automating then the organization will immediately respond in a more economically rational way.
>>diegop+m9
In this case, the existence of a proof means that its application is universal. You may believe that the automation of one process could be easily generalized to another process, but you haven't proved it until you've automated the second process.