higher bound in i
at hen ___