English: So, this step is, this is the modified rule that says that I can substitute directly here jump to this conclusion in some sense without having into go through that step of instantiation explicitly, but this is a simple example.
Telugu: (Refer Slide Time: 38:50) ఈ దశ ఏమిటంటే, ఇది సవరించిన నియమం, నేను ఇక్కడ నేరుగా ప్రత్యామ్నాయం చేయగలను అని చెప్తున్నాను, ఈ దశకు స్పష్టంగా వెళ్ళకుండా ఏదో ఒక కోణంలో ఈ నిర్ణయానికి వెళ్ళండి, కానీ ఇది ఒక సాధారణ ఉదాహరణ.