English: So, that is one unifier and there is another unifier which is simply z equal to a this unifier more general then this unifier, Because it does less amount of substitution I mean anything that this does this also does, but there is something which this does which this does not do.
Telugu: ఇది ఒక యూనిఫైయర్ మరియు మరొక యూనిఫైయర్ ఉంది, ఇది ఈ యూనిఫైర్‌కు మరింత సమానమైన z అప్పుడు ఈ యూనిఫైయర్, ఎందుకంటే ఇది తక్కువ మొత్తంలో ప్రత్యామ్నాయం చేస్తుంది ఎందుకంటే ఇది కూడా చేసే ఏదైనా అర్థం, కానీ ఇది చేసే ఏదో ఉంది, ఇది చేయదు.