add special_condition for binary_search