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