Unfortunately Eric Sink probably feels now how the formal methods people did 4-5 decades ago? (on the other hand, deep understanding ought to provide some sort of comparative advantage — but will it do so in industrial as well as academic settings?)