Re: Securing and taming an existing language

If there is no formalism then I would fully expect there to be things
that slip past the humans, no surprise there? But that seems to me to
be true of "security" in general. Is not "security" somewhat
subjective anyway, as in we know it in hind sight? :-)