diff --git a/inactive-proposals.md b/inactive-proposals.md
index 3da9a30f..c16fd789 100644
--- a/inactive-proposals.md
+++ b/inactive-proposals.md
@@ -37,6 +37,7 @@ Inactive proposals are proposals that at one point were presented to the committ
| [Function helpers][function-helpers] | J. S. Choi | Presented and rejected before Stage 1 on 2021-10; split up into multiple subsequent proposals |
| [`"use module"`][modules-pragma] | Dave Herman | Inactive; champion does not wish to pursue |
| [Function.pipe and flow][pipe-flow] | J.S. Choi | Withdrawn: [rejected for stage 1][pipe-flow-notes] |
+| [`Symbol.thenable`][symbol-thenable] | Gus Caplan
Jordan Harband
Myles Borins | Withdrawn; changing thenability on Module Namespace objects is not web compatible, and allowing non-Promise use of "then" is not worth slowing down all Promise operations |
See also the [active proposals](README.md), [stage 1 proposals](stage-1-proposals.md), [stage 0 proposals](stage-0-proposals.md), and [finished proposals](finished-proposals.md) documents.
@@ -83,3 +84,5 @@ See also the [active proposals](README.md), [stage 1 proposals](stage-1-proposal
[modules-pragma-notes]: https://github.com/tc39/notes/blob/HEAD/meetings/2017-07/jul-26.md#9ivb-modulescript-pragma-for-stage-2
[pipe-flow]: https://github.com/tc39/proposal-function-pipe-flow
[pipe-flow-notes]: https://github.com/tc39/notes/blob/main/meetings/2022-07/jul-21.md#functionpipe--flow-for-stage-1
+[symbol-thenable]: https://github.com/devsnek/proposal-symbol-thenable
+[symbol-thenable-notes]: https://github.com/tc39/notes/blob/def2ee0c04bc91612576237314a4f3b1fe2edaef/meetings/2018-05/may-24.md#symbolthenable-for-stage-1-or-2
diff --git a/stage-0-proposals.md b/stage-0-proposals.md
index f698921c..49ce695e 100644
--- a/stage-0-proposals.md
+++ b/stage-0-proposals.md
@@ -20,7 +20,6 @@ Stage 0 proposals are either
| [WHATWG URL][url] | James M Snell | James M Snell | |
| [Object Shorthand Improvements][object-shorthand-improvements] | Ron Buckton | Ron Buckton | [Sep 2017][shorthand-notes] |
| [`as` destructuring patterns][as-patterns] | Kat Marchán | Kat Marchán | |
-| [`Symbol.thenable`][symbol-thenable] | Gus Caplan | Jordan Harband
Myles Borins | [May 2018][symbol-thenable-notes] |
| [String trim characters][string-trim-characters] | Wenlu Wang | Wenlu Wang | |
| [Catch Guard][catch-guard] | Willian Martins | Willian Martins | |
@@ -45,7 +44,5 @@ See also the [active proposals](README.md), [stage 1 proposals](stage-1-proposal
[clone-notes]: https://github.com/tc39/notes/blob/HEAD/meetings/2014-01/jan-30.md#structured-clone
[shorthand-notes]: https://github.com/tc39/notes/blob/HEAD/meetings/2017-09/sept-28.md#13i-object-shorthand-improvements
[builtins-notes]: https://github.com/tc39/notes/blob/HEAD/meetings/2017-09/sept-28.md#14ia-builtinstypeof-and-builtinsis
-[symbol-thenable]: https://github.com/devsnek/proposal-symbol-thenable
-[symbol-thenable-notes]: https://github.com/tc39/notes/blob/def2ee0c04bc91612576237314a4f3b1fe2edaef/meetings/2018-05/may-24.md#symbolthenable-for-stage-1-or-2
[string-trim-characters]: https://github.com/Kingwl/proposal-string-trim-characters
[catch-guard]: https://github.com/wmsbill/proposal-catch-guards