Sætning 1: En strategi for Eloise er'' ensartet `` hvis når Formel 114, Formel 130 er impliceret, hvis Abelard Formel 116 Formel 130 indebærer. Sætning 2: En strategi for Eloise er ensartet, hvis når formel _ 114, formel _ 130; for Abelard, hvis formel _ 116 indebærer formel _ 130. Spørgsmål: Har sætning 1 og sætning 2 samme betydning? - Ja eller nej?
- Nej, det gør jeg ikke.