declaredUpperLimit