ورقة ضخمة تستلقي على الطاولة. يحاول رسام الخرائط أن يضع عليها جميع التضاريس التي يمكن تخيلها: سلاسل جبلية، وديان متشابكة، سهول شاسعة. كل تضريس هو زمرة منتهية التوليد (finitely generated group)، والخريطة هي غراف كايلي (Cayley graph)، البورتريه البياني للزمرة، حيث الرؤوس هي العناصر والأضلاع هي الروابط بينها. يُسمح بالتشوهات: يمكن شد المسافات وضغطها، لكن ليس أكثر من عدد محدد من المرات — يُسمى هذا التمثيل الغمر الخشن (coarse embedding)، وكأننا ننظر إلى التضاريس عبر زجاج معتم. هل يمكن أن توجد خريطة شاملة، تتسع لجميع الزمر بدقة حتى هذه الحدود الضبابية؟ أجاب الرياضي روبن تاكر-دروب بحزم: لا.

مفتاح البرهان هو المواجهة بين عددين. يرسم رسام الخرائط على ورق مسطر ولا يستطيع رسم الخطوط إلا بدقة معينة. إذا كانت جميع التضاريس تتسع على هذه الخريطة، فستوجد التمثيلات المنتظمة (regular maps) — وهي خرائط ليبشيتزية (L-Lipschitz) بطبقة محدودة، أي حيث لا يلتصق أكثر من M نقطة من التضاريس في نقطة واحدة من الخريطة. عندئذٍ يُقدّر عدد صور الخرائط المختلفة لزمرة ذات s من العناصر بأسي أعلى: N(s) ≤ $A^s$، حيث يعتمد A على التشوهات المسموح بها. لكن عدد التضاريس الممكنة — الغرافات ثلاثية الانتظام (3-regular graphs) ذات المحيط الكبير (large girth) (المحيط هو طول أقصر دورة، كمسار لا يعود بسرعة كبيرة) — ينمو بشكل فوق أسي: M(s) ≥ (a s)^{3s/2}. عند قيم s الكبيرة، يتجاوز النمو فوق الأسي النمو الأسي. العائق حتمي.

لكن مجرد عائق متفرق لا يكفي — يجب أن نظهر أنه حتى زمرة واحدة يمكن أن تكون استثناءً شاملاً. هنا يأتي دور الاختزال الصغير البياني (graphical small cancellation) — وهو طريقة لوسم الأضلاع برموز من أبجدية منتهية، وهو بمثابة وسم شيفري (code labeling) حيث لا تتكرر المسارات الطويلة. يشبه الأمر تجميع أحجية عملاقة، حيث تحمل كل قطعة جزءًا صغيرًا فقط من الصورة الكلية، لكنها معًا تشكل الزمرة K. يحتوي غراف كايلي الخاص بها بشكل متساوي القياس على جميع التضاريس العائقة — بالضبط، دون تشوهات. وبالتالي، لا يمكن غمر الزمرة K بشكل خشن في أي خريطة بعدد منتهٍ من الصفائح النموذجية.

النتيجة تقضي على أمل تصنيف خشن موحد لجميع الزمر وتجبرنا على دراسة كل تضريس على حدة. ورقة الرسم على طاولة رسام الخرائط ستظل ناقصة دائمًا: بعض التضاريس ستسقط حتمًا خارج حدودها. في الأفق، البحث عن تحسينات كمية: ما مدى السرعة التي يجب أن تنمو بها المعاملات حتى يظهر العائق، وهل يمكن تخفيف الشروط إلى مجرد درجة محدودة للغراف. التقنية نفسها، التي جمعت بين عد الغرافات والاختزال الصغير، تقدم أداة قوية لبناء فضاءات غريبة في الهندسة ونظرية الأنظمة الديناميكية.