English: So, the difference is the universal instantiation rule only looks at this formula then says I must produce this whereas, if you also look that is then you would know the you have to produce this essentially.
Telugu: తేడా ఏమిటంటే సార్వత్రిక ఇన్స్టాంటియేషన్(universal instantiation) నియమం ఈ ఫార్ములాను మాత్రమే చూస్తుంది, అప్పుడు నేను దీనిని తప్పక ఉత్పత్తి చేయాలి అని చెప్తాడు, మీరు కూడా చూస్తే అప్పుడు మీరు దీన్ని తప్పనిసరిగా ఉత్పత్తి చేయాల్సి ఉంటుందని మీకు తెలుస్తుంది.