higher bound less tight
i re evaluate ___