--- a/src/forward_model.rs	Thu Feb 26 11:38:43 2026 -0500
+++ b/src/forward_model.rs	Thu Feb 26 11:36:22 2026 -0500
@@ -48,6 +48,7 @@
 /// Based on Lemma 5.11 and Example 5.12, the helper bound for (5.15a) and (5.16a) is (3.8).
 /// Thus, subject to `guess` being correct, returns factor $(ℓ_F, Θ²)$ such that
 /// $B_{F'(μ)} dγ ≤ ℓ_F c_2$ and $⟨F'(μ+Δ)-F'(μ)|Δ⟩ ≤ Θ²|γ|(c_2)$, where $Δ=(π_♯^1-π_♯^0)γ$.
+/// The latter is the firm transport Lipshitz property of (3.8b) and Lemma 5.11.
 ///
 /// This trait is supposed to be implemented by the data term $F$, in the basic case a
 /// [`Mapping`] from [`RNDM<N, F>`] to  a [`Float`] `F`.