diff --git a/README.md b/README.md
index bb2bf7a..58ca836 100644
--- a/README.md
+++ b/README.md
@@ -8,9 +8,12 @@ Simple real-time Doom-style raycasting engine in Lean4:
 
 ## Run
 
-This is just an experiment and the build is currently specific to Linux only
+This is just an experiment and the build is currently specific to Linux or WSL only
 
-make sure you run the build script first to build all the dependencies to get this to work
+First, make sure you've set up Lean properly on your computer.
+Follow the "legacy" instructions from here: https://leanprover-community.github.io/install/linux.html
+
+Second, make sure you run the build script first to build all the dependencies to get this to work
 
 ```bash
 chmod +x ./build_sdl_and_friends.sh
@@ -25,4 +28,4 @@ lake exe LeanDoomed
 
 ## License
 
-MIT
\ No newline at end of file
+MIT