Will this work when `execution_aborted` is `None`?