fixed upper bound on base