English: So, just imagine you are doing theorem proving, you are proving something, you have proved some lambda 1 then, you want to use lambda 1 to prove lambda 2 and this rule will allow you to do that because lambda 1 which is whatever that lambda is could be the latest entry into a database and if a rule is matching that, that will automatic get selected.
Telugu: కాబట్టి, మీరు సిద్ధాంతాన్ని రుజువు చేస్తున్నారని ఉహించుకోండి, మీరు ఏదో రుజువు చేస్తున్నారు, మీరు కొన్ని లాంబ్డా 1 ని నిరూపించారు, అప్పుడు మీరు లాంబ్డా 2 ను నిరూపించడానికి లాంబ్డా 1 ను ఉపయోగించాలనుకుంటున్నారు మరియు ఈ నియమం అలా చేయటానికి మిమ్మల్ని అనుమతిస్తుంది ఎందుకంటే లాంబ్డా 1 అంటే లాంబ్డా డేటాబేస్‌లోకి సరికొత్త ఎంట్రీ కావచ్చు మరియు ఒక నియమం దానికి సరిపోలితే, అది ఆటోమేటిక్ ఎంపిక అవుతుంది.