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