Asmodia is now completely ignoring Ione and scribbling something about P(observation 1 ◁ hypothesis 1) and P(hypothesis 1 ◁ observation 1) and P(observation 1) and P(hypothesis 1) and P(~ observation 1) and what appears, roughly, to be every possible combination of those symbols in Keltham's language, which, once exhausted, she starts multiplying and adding together in quantities like P(hypothesis 1 ◁ observation 1) * P(observation 1) + P(hypothesis 1) ◁ ~ observation 1) * P(~ observation 1) and now she's expanding the definitions and trying to prove things.

Right.  Ione will just try to work out some of the other problems on her own, then.

Asmodia is now completely ignoring Ione and scribbling something about P(observation 1 ◁ hypothesis 1) and P(hypothesis 1 ◁ observation 1) and P(observation 1) and P(hypothesis 1) and P(~ observation 1) and what appears, roughly, to be every possible combination of those symbols in Keltham's language, which, once exhausted, she starts multiplying and adding together in quantities like P(hypothesis 1 ◁ observation 1) * P(observation 1) + P(hypothesis 1◁ ~ observation 1) * P(~ observation 1) and now she's expanding the definitions and trying to prove things.

Right.  Ione will just try to work out some of the other problems on her own, then.

Asmodia is now completely ignoring Ione and scribbling something about P(observation1 ◁ hypothesis1) and P(hypothesis1 ◁ observation1) and P(observation1) and P(hypothesis1) and P(~observation1) and what appears, roughly, to be every possible combination of those symbols in Keltham's language, which, once exhausted, she starts multiplying and adding together in quantities like P(hypothesis1 ◁ observation1) * P(observation1) + P(hypothesis1 ◁ ~observation1) * P(~observation1) and now she's expanding the definitions and trying to prove things.

Right.  Ione will just try to work out some of the other problems on her own, then.

Asmodia is now completely ignoring Ione and scribbling something about P(observation1 ◁ hypothesis1) and P(hypothesis1 ◁ observation1) and P(observation1) and P(hypothesis1) and P(~observation1) and what appears, roughly, to be every possible combination of the symbols in Keltham's language, which, once exhausted, she starts multiplying and adding together in quantities like P(hypothesis1 ◁ observation1) * P(observation1) + P(hypothesis1 ◁ ~observation1) * P(~observation1) and now she's expanding the definitions and trying to prove things.

Right.  Ione will just try to work out some of the other problems on her own, then.