English: So, that is a notion of proof notion of provability that is syntactic machinery we are after, because it is easy to write pattern matching algorithms and in this case the patterns are exact.
Telugu: కాబట్టి, ఇది నిరూపణ యొక్క రుజువు భావన యొక్క భావన, ఇది మనము తరువాత ఉన్న వాక్యనిర్మాణ యంత్రాలు, ఎందుకంటే నమూనా సరిపోలిక అల్గోరిథంలను వ్రాయడం సులభం మరియు ఈ సందర్భంలో నమూనాలు ఖచ్చితమైనవి.