higher bound is math
mate red ___