> it is assumed that they are good mathematicians (i.e. if they could know what x and y are at some point, they would know). Ok that's the part I was missing.

> it is assumed that they are good mathematicians (i.e. if they could know what x and y are at some point, they would know). Ok that's the part I was missing. The problem makes significantly more sense now.