diff --git a/profiles/updates/4Q-2021 b/profiles/updates/4Q-2021
index c6092b0baa..67dbe908d6 100644
--- a/profiles/updates/4Q-2021
+++ b/profiles/updates/4Q-2021
@@ -1,3 +1,4 @@
 move dev-python/geopy sci-geosciences/geopy
 move dev-util/xdp-tools net-libs/xdp-tools
 move dev-lisp/arc dev-lang/arc
+move dev-lang/lean sci-mathematics/lean