WORST_CASE(NON_POLY, ?)