اسأل بوكسنل رسم علي مربعا على قطعة من الورق، فإذا استعمل مسطرة لرسم مستقيم داخل المربع لتكوين شكلين فإن العدد الأكبر من الأضلاع الذي يمكن أن يكون لأحد من هذين الشكلين هو أربعة أضلاع.
منوعات يسمي المعيار الذي يستخدم في المقارنة بحيث يعمل كباقي المجموعات التجريبية ما عدا المتغير المستقل لا يطبق عليه بالعامل الثابت العبارة.
اسأل بوكسنل لكتابة برهان غير مباشرة للعبارة ( إذا كان – 3 x + 4 < 7 فإن x > – 1 ) فإن الافتراض الذي نبدأ به هو: