প্রাকৃতিক প্রমাণগুলি বুলিয়ান ফাংশনগুলির সার্কিট জটিলতায় নিম্ন সীমানা প্রমাণ করার প্রতিবন্ধক। তারা সার্কিট জটিলতায় নিম্ন সীমানা প্রমাণ করতে এ জাতীয় কোনও বাধা সরাসরি বোঝায় না । এই জাতীয় বাধা চিহ্নিত করার দিকে কি কোনও অগ্রগতি রয়েছে? একঘেয়ে সেটিং এ অন্য বাধা আছে?
85, Alon+Boppana
87) এর ঘনিষ্ঠ নিম্ন সীমানা রয়েছে known