Re: issue 5.10: a position statement (sameState over peopleKey)

[ true ]

> On the basis of my experience as a user and an implementor,
> I prefer that our spec justifies the sameState entailment, and

right, we succeeded with that one

> it's acceptable to me if it doesn't justify the peopleKey entailment.
> This does not support the "detecting inconsistency" goal, but as
> far as I can tell, it doesn't contradict any of our agreed requirements.

I'm quite confident that that one could work as well
(with math:proofCount and some such)

-- ,
Jos De Roo, AGFA

Received on Thursday, 18 July 2002 17:19:36 UTC