diff --git a/Nondeterminism.md b/Nondeterminism.md
index 38cc577b..d393ae72 100644
--- a/Nondeterminism.md
+++ b/Nondeterminism.md
@@ -45,6 +45,9 @@ currently admits nondeterminism:
      may vary between platforms.
  * Environment-dependent resource limits may be exhausted. A few examples:
    - Memory allocation may fail.
+   - The runtime can fail to allocate a physical page when a memory location is first
+     accessed (e.g. through a load or store), even if that memory was virtually reserved
+     by the maximum size property of the [memory section](Module.md#linear-memory-section).
    - Program stack may get exhausted (e.g., because function call depth is too big,
      or functions have too many locals, or infinite recursion). Note that this stack
      isn't located in the program-accessible linear memory.