"lithium-ion batteries .. degrade after just 1,000 cycles"
If you charge your car battery twice a week and complete a full cycle then we are still talking about like 9 years to reach 1000 cycles.
If you charge your phone every day, and do a full cycle, then we are close to 2.7 years. But you will probably not do a full cycle.
So, I guess lithium-ion batteries are not really that bad.
Norway as a state may be rich. but the state is also very afraid of spending too much money within the country as not to drive up inflation, salaries etc. In Norway the school children do not even get free/hot lunches (compared to e.g. Sweden).
"If everything is made rigorous:
You would have a valid independent proof It would contain real structural insight It would not replace the flow proof as the “best” proof
But:
It would still be a meaningful alternative proof with explanatory power, not just a redundant one."