higher bound a in
mate re ___