checking upper bounds on base