higher bound a in
mate mate ___