Maybe not.
No need to terminate options early.