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