> We're just moving up the abstraction ladder, like we did with compilers.

Got any studies about reasoning decline from using compilers to go with your claim?