അതിനാൽ, ഇത് അടിസ്ഥാനപരമായി, r-ലെ ഓരോ ബ്ലോക്കിനും s-ലെ ഓരോ ബ്ലോക്കിനും , r- ലെ ഓരോ ട്യൂപ്പിളിനും , പിന്നെ s- ലെ ഓരോ ട്യൂപ്പിളിനും , അത് ജോയിൻ പ്രെഡിക്കേറ്റ് ചെയ്യുന്നു, തുടർന്ന്, അത് r എന്ന ബ്ലോക്ക് പരിഗണിക്കുന്നില്ല, അതിനാൽ ഇത് പൂർണ്ണമായും ചെയ്തു കഴിഞ്ഞു.
కాబట్టి, ఇది r లోని ప్రతి బ్లాక్ కు మరియు s లోని ప్రతి బ్లాక్ కు, r లోని ప్రతి టపుల్ కు, ఆపై s లోని ప్రతి టపుల్ కు, అది జాయిన్ ప్రిడికేట్ చేస్తుంది మరియు తర్వాత, అది r ని విస్మరిస్తుంది. కనుక ఇది పూర్తయింది.