משפט 1: אסטרטגיה לאלואיז היא'' אחידה אם בכל פעם נוסחה 114, נוסחה 130 הוא מרומז, אם Abelard נוסחה 116 נוסחה 130 מרומז. משפט 2: אסטרטגיה לאלואיז היא `` אחידה'אם, בכל פעם נוסחה _ 114, נוסחה _ 130; עבור אבילארד, אם נוסחה _ 116 מרמזת על נוסחה _ 130. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
לא, לא.