I enjoyed reading it and agree on many points. One thing that does not seem right is the claim that introduction of formal specification will increase the numbe

I enjoyed reading it and agree on many points. One thing that does not seem right is the claim that introduction of formal specification will increase the number of programmers. Yes, it takes a special kind of a person to be interested in fiddling with the code, but I believe the threshold for enjoying creation of formal specifications is even higher.