for upper bounds Requires #274
for upper bounds
Requires #274