Re: Proposal and Test cases (Re: skolems: visible differences?)

On Jan 16, 2008, at 10:08 AM, Jeremy Carroll wrote:

> in summary, not in favour of Skolemized semantics; but in favour of  
> Skolemizing implementations.

I don't think we have to say anything about implementations, do we?  
The job of implementors is to make their systems respect the  
semantics. What they do under the covers to accomplish that is their  
business.

The issue on the table is whether to change the semantics, and I hear  
your objection, though think it merits further discussion (which I  
see is being pursued).

-Alan