Symbol: rf_have_enough_components