Boolean-valued_function