1 sakinys: Eloizės strategija yra vienodi, jei formule _ 114 yra formule _ 130; Abelardo atveju, jei formule _ 116 yra formule _ 130. 2 sakinys: Eloizės strategija yra vienodi, jei visada 114 formulė, 130 formulė, jei Abelardas reiškia 116 formulę, 130 formulę. Klausimas: Ar 1 ir 2 sakiniai reiškia tą pačią reikšmę? Taip ar ne?
Taip