I think "otherwise" works well in this case, and I like that @domenic's ordering groups the two "outer" error conditions together as 1 and 2.  I'm also on the fence about explicitly stating that accessing `thenable.then` once is a requirement.  However, it seems possible to write the steps in such a way that, when followed closely, you'd end up only accessing it only once anyway.