diff --git a/rfcs/property-readonly.md b/rfcs/property-readonly.md
index c0a470bd..4d0c7586 100644
--- a/rfcs/property-readonly.md
+++ b/rfcs/property-readonly.md
@@ -150,32 +150,6 @@ t : { get @metatable : T, p : number }
 
 *This is a possibly breaking change.*
 
-### Require
-
-A `require`d module's properties should be read-only by default.
-
-If module A is:
-```lua
---!strict
-local exports = {}
-exports.p = 0
-return exports
-``
-
-and module B is:
-```lua
---!strict
-local imports = require(A)
-```
-
-then we should have types
-```
-exports : { p: number }
-imports : { get p: number }
-```
-
-*This is a possibly breaking change.*
-
 ## Drawbacks
 
 This is adding to the complexity budget for users,