higher bound is math
mate re ___