higher bound in an
on ___