higher bound i id
a in constant ___