higher frame of bound
less on sets ___