higher bound a in
bound ere ___