English: So, the technical term you uses the unifier, which we will study in the next class, but for the moment just let us think of it does a substitution, which will make this formula equal to this formula which is what the universal instantiation step is doing.
Telugu: కాబట్టి, మీరు యునిఫైయర్‌(unifier)ను ఉపయోగించే సాంకేతిక పదం, మనము తరువాతి తరగతిలో అధ్యయనం చేస్తాము, కాని ప్రస్తుతానికి అది ప్రత్యామ్నాయం చేస్తుందని ఆలోచిద్దాం, ఇది ఈ ఫార్ములాను ఈ ఫార్ములాకు సమానంగా చేస్తుంది, ఇది యూనివర్సల్ ఇన్‌స్టాంటియేషన్‌ (universal instantiation) చేయడం.