I see. I'm still enthused about introducing more formal methods and "engineering" practices into software development. I think it is very useful and indeed as

I see. I'm still enthused about introducing more formal methods and "engineering" practices into software development. I think it is very useful and indeed as the world becomes more reliant on open-source software... there needs to be some sort of protection of the public good, no? Thanks for taking to time to respond to my, sometimes naïve, comments.