higher bound less or
the same fold over ___