Symbol: upper_bound