diff --git a/book/src/clauses/implied_bounds.md b/book/src/clauses/implied_bounds.md
index 84901ec1124..757be05a396 100644
--- a/book/src/clauses/implied_bounds.md
+++ b/book/src/clauses/implied_bounds.md
@@ -224,7 +224,7 @@ forall<T> { Implemented(T: B) :- FromEnv(T: B). }
 forall<T> { FromEnv(T: A) :- FromEnv(T: B). }
 
 forall<T> { Implemented(T: C) :- FromEnv(T: C). }
-forall<T> { FromEnv(T: C) :- FromEnv(T: C). }
+forall<T> { FromEnv(T: B) :- FromEnv(T: C). }
 ```
 So these clauses are defined globally (that is, they are available from
 everywhere in the program) but they cannot be used because the hypothesis