- removes usage of `then`, simplifying the logic, and allowing `then` to be removed completely - updates annotations to reflect that all procs (sync and async) raise no exceptions