diff --git a/src/jit_bayes b/src/compute_constrained_bayes
similarity index 76%
rename from src/jit_bayes
rename to src/compute_constrained_bayes
index f591f80..f27f83a 100755
Binary files a/src/jit_bayes and b/src/compute_constrained_bayes differ
diff --git a/src/jit_bayes.nim b/src/compute_constrained_bayes.nim
similarity index 97%
rename from src/jit_bayes.nim
rename to src/compute_constrained_bayes.nim
index 691b3b9..e4a8598 100644
--- a/src/jit_bayes.nim
+++ b/src/compute_constrained_bayes.nim
@@ -162,6 +162,11 @@ proc jitBayesLoop(
 
     echo ""
 
+## Infrabayesianism. Part 1: Have hypotheses over just part of the world.
+
+
+## Infrabayesianism. Part 2: Take the infimum over the possible loss.
+
 ## Display outputs
 echo ""
 
diff --git a/src/makefile b/src/makefile
index ce35050..528abee 100644
--- a/src/makefile
+++ b/src/makefile
@@ -1,16 +1,16 @@
 SHELL := /bin/bash ## <= required to use time
 VERBOSE=--verbosity:0
 
-build: jit_bayes.nim
-	nim c $(VERBOSE) jit_bayes.nim
+build: compute_constrained_bayes.nim
+	nim c $(VERBOSE) compute_constrained_bayes.nim
 
-run: jit_bayes 
-	./jit_bayes $(VERBOSE)
+run: compute_constrained_bayes 
+	./compute_constrained_bayes $(VERBOSE)
 
-examine: jit_bayes
-	nim c $(VERBOSE) jit_bayes.nim && time ./jit_bayes $(VERBOSE) && echo
-	nim c $(VERBOSE) -d:release jit_bayes.nim && time ./jit_bayes $(VERBOSE) && echo
-	nim c $(VERBOSE) -d:danger jit_bayes.nim && time ./jit_bayes $(VERBOSE)
+examine: compute_constrained_bayes
+	nim c $(VERBOSE) compute_constrained_bayes.nim && time ./compute_constrained_bayes $(VERBOSE) && echo
+	nim c $(VERBOSE) -d:release compute_constrained_bayes.nim && time ./compute_constrained_bayes $(VERBOSE) && echo
+	nim c $(VERBOSE) -d:danger compute_constrained_bayes.nim && time ./compute_constrained_bayes $(VERBOSE)
 
 time:
 	time make && echo && time make run