उस उदाहरण में हम टी को अनिवार्य रूप से उत्पन्न करते समय समाप्त कर रहे हैं, लेकिन हम यह नहीं कह रहे हैं कि जब आप खाली खंड में उत्पन्न होते हैं तो हम यह कहते हैं कि हम यह दिखाने का प्रयास कर रहे हैं कि यह सूत्र असंतोषजनक है।