[Proof reading] classic saddleback worstcase