higher bound is math
mate re defined ___