----------------o

In summation, we have the following interpretation:
If g is true, then exactly one of the s_j is true;
if g is false, then all of the s_j are false, too.

That is not yet a method that would be amenable to
computational routine, but it does get us part way.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: <A  HREF="http://stderr.org/pipermail/inquiry/">http://stderr.org/pipermail/inquiry/</A>
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

</PRE>

<!--X