> ...our results give: ... (3) a provable advantage of chain-of-thought, exhibiting a task that becomes exponentially easier with chain-of-thought.

It would be good to also prove that there is no task that becomes exponentially harder with chain-of-thought.