الجملة الأولى: استراتيجية لـ "إلويز " هي "متساوية " إذا، كلما صيغة _ 114 ، صيغة _ 130؛ لـ "أبيلارد"، إذا صيغة _ 116 تعني صيغة _ 130. الجملة الثانية: استراتيجية لـ " إلويس " موحدة إذا كانت دائماً " فورمولا 114 " ، " فورمولا 130 " ، إذا كان " أبيلارد " يعني " فورمولا 116 " " فورمولا 130 ". سؤال: هل الجملة الأولى والجملة الثانية تعبر عن نفس المعنى؟ نعم او لا؟
نعم