bounds_lc should be the most obvious bound...