الجملة الأولى: مثلاً، التعريفين التانيين منيحين لقسمة معادلة للقيم في ربما-موناد. الجملة التانية: مثلاً ، كل تعريفين التاليين للقسمة المتساوية للقيم في موناد ربما آمنين. سؤال: الجملة الأولى والجملة التانية بتعبر عن نفس المعنى؟ نعم أو لا؟