diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index 6612372b..8aa450b7 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -25,6 +25,7 @@
     - [Lowering to logic](./traits-lowering-to-logic.md)
       - [Goals and clauses](./traits-goals-and-clauses.md)
       - [Equality and associated types](./traits-associated-types.md)
+      - [Implied bounds](./traits-implied-bounds.md)
       - [Region constraints](./traits-regions.md)
     - [Canonical queries](./traits-canonical-queries.md)
       - [Canonicalization](./traits-canonicalization.md)
diff --git a/src/traits-implied-bounds.md b/src/traits-implied-bounds.md
new file mode 100644
index 00000000..26a63bf3
--- /dev/null
+++ b/src/traits-implied-bounds.md
@@ -0,0 +1,9 @@
+# Implied Bounds
+
+*to be written*
+
+Cover:
+
+- Why the `FromEnv` setup etc is the way it is
+- Perhaps move some of the material from 'lowering rules' in to here
+- Show various examples where you could go wrong