[async.reqmts.async.handler.exec] refers to Executor1 from previous subclause

[jwakely]

Maybe tie it more clearly to the previous subclause, or when introducing Executor1 say "In the specifications that follow, let Executor1 be ..."