RE: on criticality flags

> Had you been at the meeting, hopefully I would've convinced you this is a
> trust application decision  <smile>, and is not related to whether
> (valid:signed-resource == true)

Regadless of what you classify the issue as the issue has to be dealt
with.

> (As I continue on in my bungled notation! Any logic weenies out there?)

Yes, I can send you a copy of my D.Phil which just happens to be on the
topic of formal methods.

If you want to build a formal model my choice would be to employ typed
set theory in the manner of Z or VDM.

Or given that it is the summer it is quite likely you can find Joe Stoy
on the 4th floor of 545 Technology Square.

		Phill