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 er'' ensartet `` hvis altid Formel 114, Formel 130, hvis Abelard antyder Formel 116 Formel 130. Spørgsmål: Har sætning 1 og sætning 2 samme betydning? - Ja eller nej?
- Ja, det gør jeg.