In light of https://github.com/promises-aplus/promises-spec/issues/87#issuecomment-14921881 I think this might be best phrased as "if calling `thenable.then` throws an exception," so that it more clearly traps cases like that.