So far away that there is no distance and no time between here and there, Thellim is trying for the first time to look up how statistics work on her new home planet.
The conditionalization operator is written "P(X|Y)" using a neat, symmetrical, vertical bar.
It doesn't weigh much against all the other bad news she's seen in the last day, but it is still not, in fact, good news about the general sanity of mathematics in this place.