That does help, but it leaves out the part where you should only access `then` once. I guess we could just mandate that: "The implementation must only access the `then` property once" or similar.