> What I am suggesting is that we model them in a way that highlight and distinguish the laws that are poorly crafted from those which are clearly interpreted.

> What I am suggesting is that we model them in a way that highlight and distinguish the laws that are poorly crafted from those which are clearly interpreted. There are as many elements in the set of laws that are clearly interpreted as there are programs with zero bugs. This is not an analogy. These are direct expressions of the same root cause.