Boolean-valued