Symbol: aggsum_lower_bound