bool_valued