has_value/2