इसलिए, याद रखें कि जब हम शाखा और बाध्य के बारे में बात कर रहे थे, तो हम कहते हैं कि यह अनुमान जितना संभव हो उतना ऊंचा होना चाहिए, यह एक निचली सीमा होना चाहिए यहां तक कि यह एक कम बाध्य है, लेकिन यह यथासंभव उच्च होना चाहिए, और हम औपचारिक रूप से दिखाते हैं कि अनुमान जितना अधिक होगा कि यह एल्गोरिथम समाप्ति से पहले खोजे जाने वाले नोड की संख्या को कम करेगा, हम अगली कक्षा में ये दो औपचारिक बातें करेंगे।