higher bound a in
mate ___