add binary search spec