English: We need something more efficient to be able to derive the proofs essentially observe that you know of course, we are not talking about first sort of logic yes.
Telugu: రుజువులను పొందగలిగేలా చేయడానికి మాకు మరింత సమర్థవంతమైనది కావాలి, మీకు ఖచ్చితంగా తెలుసు అని గమనించండి, మనము మొదటి విధమైన తర్కం గురించి మాట్లాడటం లేదు.