على الخريطة الطبوغرافية، تختار قطرات المطر طريقها: إذا سقطت على منحدر واحد، تتجه إلى النهر أ، وإذا سقطت على الآخر، إلى النهر ب. يرى المراقب فقط تعرجات الأنهار (متغيرات الاستجابة Y) ويعرف من أي منحدر جاء الماء (الأداة Z)، لكنه لا يرى القطرات نفسها (العوامل غير المرصودة ε). هذه هي معضلة خبير الاقتصاد القياسي: من خريطتي جريان مائي، عليه أن يستعيد شكل التضاريس (المعادلة البنائية m) معتمداً فقط على اختيار ثنائي للمنحدرات.
كانت الإجابة الكلاسيكية تتطلب إما أداة متصلة غنية أو قيوداً صارمة على شكل النموذج. لكن طبيعة الأنهار مختلفة: فالماء يتدفق إلى أسفل المنحدر، دون تكرار في حلقات - وهذا ما يسمى في الرياضيات بالرتابة الدورية (cyclic monotonicity) (خاصية تمنع الحلقات المغلقة في التزايدات). يكمن الاكتشاف في أن هذه الخاصية كافية ليسمح حتى مفتاح بسيط للمنحدرات باستعادة كامل المنظر الطبيعي. يرتكز الأساس على رقصة بين توزيعين وتوافقهما الأمثل.
في العالم متعدد الأبعاد، لا تعمل الحيلة الكلاسيكية مع المتغير الضابط: لا يمكن ترتيب المتجهات بشكل فريد. بدلاً من ذلك، يبني الكاتب جسراً نحو نظرية النقل الأمثل (optimal transport) - طريقة لنقل الكتلة الاحتمالية بأقل تكلفة. بالنسبة لكل قطرة مطر U، مسارها X = h(Z,U) على المنحدر Z يخضع لرسم دوري رتيب (cyclically monotone mapping) - النظير متعدد الأبعاد لعدم التناقص. بفضل مبرهنة برينيه (Brenier's theorem)، يكون هذا الرسم وحيداً وقابلاً للعكس تقريباً بالتأكيد. وبالتالي، يمكن تعريف «خريطة الرتبة» $R_z$ - الرسم العكسي الذي ينقل نقاط منحدر واحد إلى نقاط الآخر بنفس الرتبة. فاصل البيانات هو المجموعة حيث لا تزيح خريطة الرتبة النقطة: $R_z$(x) = x.
تتطلب الشروط التقنية نعومة الكثافات، وكونها محدودة، وعدم انعدام الرتبة: يجب أن يكون لمصفوفة جاكوبي (Jacobian matrix) للرسم $R_z$(x)-x رتبة ثابتة في جوار فاصل البيانات. حينها، تؤدي العملية التكرارية - تبديل المنحدر وتطبيق خريطة الرتبة - إلى أي نقطة بداية لتتدحرج نحو فاصل البيانات، مع الحفاظ على التوزيع الشرطي للمطر ε في كل خطوة. هذا هو مفتاح تحديد الهوية. علاوة على ذلك، الشرط قابل للاختبار: استنتج الكاتب السلوك التقاربي لـالعملية التجريبية للفرق بين دالتي توزيع شرطيتين. اتضح أنه مع نمو حجم العينة، تتقارب هذه العملية نحو توزيع غاوسي (Gaussian) - مما يعني إمكانية بناء فترات ثقة واختبار وجود فاصل البيانات مباشرة من البيانات.
بالنسبة للعلوم التطبيقية، هذا يزيل قيداً طال أمده: لم تعد هناك حاجة لأدوات مصطنعة. يكفي عامل ثنائي بسيط لتقدير التأثيرات المعقدة متعددة الأبعاد لا معلمياً. يفتح العمل الباب أمام تحليل سببي أكثر صدقاً في الاقتصاد وعلم الأوبئة والعلوم الاجتماعية. أمامنا الآن تطوير خوارزميات للأبعاد العالية؛ فكل تكرار حالياً يشبه خطوة في الجبال معصوب العينين. لكن عندما يتم الوصول إلى هذه القمم، سيصبح فاصل البيانات أداة دقيقة. الآن، بالنظر إلى خريطة الأنهار، لا يرى المراقب مجرد تعرجات، بل خطوطاً خفية للتضاريس، رسمها جريان القطرات غير المرئية.
نظرية النقل الأمثل، التي يرتكز عليها البرهان، وُلدت من مسألة عملية بحتة: في عام 1781 كان الرياضي غاسبار مونج (Gaspard Monge) يحل كيفية نقل التربة بأكثر كفاءة عند بناء الحصون.