Symbol: f_provnode