&gt; For quite a bit of software these days, the correct program and the description of the correct program are pretty similar artifacts.<p>My brain was going mental mobius strip when I was originally responding and thinking of something along these lines. Maybe what I was getting at is that the an idea like the Halting problem doesn&#x27;t apply as viciously to hardware?