higher bound in an
to ___