Sætning 1: En strategi for Eloise indebærer'' ensartet `` hvis altid Formula 114, Formula 130, hvis Abelard er Formula 116 Formula 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?
- Nej, det gør jeg ikke.