यह अब एक केस प्रोफेशनल कैलकुलस या प्रोफेशनल लॉजिक है, जो अनुमान के कुछ नियम का अनुमान लगाता है और कहता है कि यह सेट जो पूरा हो गया है, जिसका अर्थ है कि इसमें सभी टॉटोलॉजी को शामिल किया जा सकता है, जिसमें यह टैटोलॉजी भी शामिल है जो इसके लिए खड़ा है।