[lifeisstillgood]

Because software is like writing. It is a creative process.

When we want life or death critical software, like life or death critical writing, we take a lot more care, as in making laws, writing treaties and contracts.

But we can never make it prescriptive.