वहां, मैं एक अतिरिक्त प्रतीक का उपयोग कर रहा हूं, जो व्युत्पन्न है या ऐसा कुछ है जो कि अतिरिक्त है और इस अर्थ में अतिरिक्त तार्किक प्रतीक है कि यह भाषा का हिस्सा नहीं है जिसका मैं उपयोग कर रहा हूं, लेकिन यह मेरे तर्क में एक वाक्य है और अब हम जो कह रहे हैं, वह यह है कि अनुमान का नियम मान्य है यदि यह इसके द्वारा एक टॉन्टोलॉजिकल निहितार्थ पर आधारित है।