final bsearch at socrates (with Mani)