Simen kjaeraas wrote: > Walter Bright <newshound2 at digitalmars.com> wrote: > >> It still is not verifiable. That's why logical constness is not a >> language issue, it is a convention. > > And finally I understood what you meant. Sorry about this taking a while. I know it's a tough issue, and worth the effort at trying to explain it.