diff --git a/specs/experimental/liquidity-migration.md b/specs/experimental/liquidity-migration.md
new file mode 100644
index 000000000..a60f8679e
--- /dev/null
+++ b/specs/experimental/liquidity-migration.md
@@ -0,0 +1,23 @@
+<!-- START doctoc generated TOC please keep comment here to allow auto update -->
+<!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
+**Table of Contents**
+
+- [`OptimismMintableERC20Factory` Updates](#optimismmintableerc20factory-updates)
+  - [Functions](#functions)
+    - [`createOptimismMintableERC20WithDecimals`](#createoptimismmintableerc20withdecimals)
+
+<!-- END doctoc generated TOC please keep comment here to allow auto update -->
+
+# `OptimismMintableERC20Factory` Updates
+
+The `OptimismMintableERC20Factory` is updated to include a `deployments` mapping
+that stores the `remoteToken` address for each deployed `OptimismMintableERC20`.
+This is essential for the liquidity migration process defined in the liquidity migration spec.
+
+## Functions
+
+### `createOptimismMintableERC20WithDecimals`
+
+**Invariants**
+
+- The function MUST store the `_remoteToken` address for each deployed `OptimismMintableERC20` in a `deployments` mapping.
diff --git a/specs/interop/predeploys.md b/specs/interop/predeploys.md
index cc6aee743..96a5efb23 100644
--- a/specs/interop/predeploys.md
+++ b/specs/interop/predeploys.md
@@ -44,7 +44,6 @@
   - [Overview](#overview-2)
 - [OptimismMintableERC20Factory](#optimismmintableerc20factory)
   - [OptimismMintableERC20](#optimismmintableerc20)
-  - [Updates](#updates)
   - [Functions](#functions-2)
     - [`createOptimismMintableERC20WithDecimals`](#createoptimismmintableerc20withdecimals)
     - [`createOptimismMintableERC20`](#createoptimismmintableerc20)
@@ -53,7 +52,7 @@
     - [`OptimismMintableERC20Created`](#optimismmintableerc20created)
     - [`StandardL2TokenCreated`](#standardl2tokencreated)
 - [L2StandardBridge](#l2standardbridge)
-  - [Updates](#updates-1)
+  - [Updates](#updates)
     - [convert](#convert)
     - [`Converted`](#converted)
   - [Invariants](#invariants)
@@ -637,12 +636,6 @@ allows for the `L2StandardBridge` to mint
 and burn tokens, depending on whether the user is
 depositing from L1 to L2 or withdrawing from L2 to L1.
 
-### Updates
-
-The `OptimismMintableERC20Factory` is updated to include a `deployments` mapping
-that stores the `remoteToken` address for each deployed `OptimismMintableERC20`.
-This is essential for the liquidity migration process defined in the liquidity migration spec.
-
 ### Functions
 
 #### `createOptimismMintableERC20WithDecimals`
@@ -664,7 +657,6 @@ createOptimismMintableERC20WithDecimals(address _remoteToken, string memory _nam
 - The salt MUST be computed by applying `keccak256` to the `abi.encode`
   of the four input parameters (`_remoteToken`, `_name`, `_symbol`, and `_decimals`).
   This ensures a unique `OptimismMintableERC20` for each set of ERC20 metadata.
-- The function MUST store the `_remoteToken` address for each deployed `OptimismMintableERC20` in a `deployments` mapping.
 
 #### `createOptimismMintableERC20`