diff --git a/std_execution.bs b/std_execution.bs
index e355a8ff4..8da401f0b 100644
--- a/std_execution.bs
+++ b/std_execution.bs
@@ -4423,7 +4423,7 @@ from the operation before the operation completes.
     <i>run-loop-opstate-base</i>* run_loop::pop_front();
     </pre>
 
-    1. <i>Effects:</i> Waits until one of the following conditions is `true`:
+    1. <i>Effects:</i> Blocks ([defns.block]) until one of the following conditions is `true`:
 
         * <i>count</i> is `0` and <i>state</i> is <i>finishing</i>, in which case `pop_front` returns `nullptr`; or
 
@@ -4467,6 +4467,8 @@ from the operation before the operation completes.
 
     2. <i>Synchronization:</i> This operation synchronizes with all `pop_front` operations on this object.
 
+    3. <i>Remarks:</i> If the thread of execution calling `run()` guarantees concurrent or parallel forward progress, then it guarantees parallel forward progress until `run()` returns; otherwise, it guarantees weakly parallel forward progress.
+
 ## Coroutine utilities <b>[execution.coro_utils]</b> ## {#spec-execution.coro_utils}
 
 ### `execution::as_awaitable` <b>[execution.coro_utils.as_awaitable]</b> ### {#spec-execution.coro_utils.as_awaitable}