English: This is by recent and it is motivated by the fact that you want to write a computer program to generate proofs which means you have to find proofs automatically.
Telugu: ఇది ఇటీవలిది మరియు రుజువులను (proofs) రూపొందించడానికి మీరు కంప్యూటర్ ప్రోగ్రామ్‌ను వ్రాయాలనుకుంటున్నారనే దాని ద్వారా ఇది ప్రేరేపించబడింది, అంటే మీరు స్వయంచాలకం(automatically)గా రుజువులను కనుగొనవలసి ఉంటుంది.