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