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