हम कटौती के लिए तर्क में रुचि रखते हैं जो कथन जो हम इस तर्क तंत्र का उपयोग करके प्राप्त करते हैं या उत्पन्न करते हैं, आवश्यक रूप से सही होना चाहिए और तर्क अनिवार्य रूप से उस प्रेरणा के आसपास निर्मित होता है।