diff --git a/src/subtyping.md b/src/subtyping.md
index 40f5a1544..b31e25d8a 100644
--- a/src/subtyping.md
+++ b/src/subtyping.md
@@ -1,7 +1,7 @@
 # Subtyping and Variance
 
 Subtyping is implicit and can occur at any stage in type checking or
-inference. Subtyping in Rust is very restricted and occurs only due to
+inference. Subtyping is restricted to two cases:
 variance with respect to lifetimes and between types with higher ranked
 lifetimes. If we were to erase lifetimes from types, then the only subtyping
 would be due to type equality.