English: So, I will this as mortal y so again let be that when I write show mortal y in this form this notation denotes and existentially contified variable that is true only for variables which occur inside goels.
Telugu: నేను దీనిని మోర్టల్(mortal) y గా చేస్తాను, నేను ఈ రూపంలో మోర్టల్ y ని చూపించేటప్పుడు ఈ సంజ్ఞామానం సూచిస్తుంది మరియు అస్తిత్వంగా ధృవీకరించబడిన వేరియబుల్, ఇది గోల్స్ లో సంభవించే వేరియబుల్స్‌కు మాత్రమే వర్తిస్తుంది.