English: Now, having used universal instantiation I have a formula which is very nice because it is saying alpha implies beta and then I have alpha and I can use which is this essentially.
Telugu: (Refer Slide Time: 18:37) ఇప్పుడు, యూనివర్సల్ ఇన్‌స్టాంటియేషన్‌(universal instantiation)ను ఉపయోగించిన నేను చాలా మంచి ఫార్ములాను కలిగి ఉన్నాను ఎందుకంటే ఇది α🡪 β ను సూచిస్తుంది మరియు తరువాత నాకు α ఉంది మరియు ఇది తప్పనిసరిగా ఉపయోగించగలదు.