higher bound is math
mate a ___