higher bound is math
mate re defined less ___