Boolean-valued_function loading ...