On Jun 19, 1:39 pm, "V.J. Kumar" <vjkm..._at_gmail.com> wrote:
> Vadim Tropashko <vadimtro_inva..._at_yahoo.com> wrote innews:1182272313.867576.114250_at_i38g2000prf.googlegroups.com:
>
> > On Jun 19, 7:50 am, Jan Hidders <hidd..._at_gmail.com> wrote:
> >> On 19 jun, 16:30, "V.J. Kumar" <vjkm..._at_gmail.com> wrote:
> >> > {(x,z)| (Forall y : A(x,y) <-> B(y,z) }
>
> > IMO this formula is much more appreciated now (after 12 exchanges:-)
> > than if Jan posted it immediately to support his statement:
>
> Not so fast, we ain't done yet.
I suspected domain dependence too, but it doesn't seem to be a problem.
Received on Tue Jun 19 2007 - 16:08:13 CDT
