ACTION-274 is not done

I cannot find anything on skolemization or compatability.

peter

Received on Wednesday, 26 June 2013 15:13:31 UTC