diff --git a/turnstile/examples/dep2-assist.rkt b/turnstile/examples/dep-assist.rkt
similarity index 100%
rename from turnstile/examples/dep2-assist.rkt
rename to turnstile/examples/dep-assist.rkt
diff --git a/turnstile/examples/dep2.rkt b/turnstile/examples/dep.rkt
similarity index 100%
rename from turnstile/examples/dep2.rkt
rename to turnstile/examples/dep.rkt
diff --git a/turnstile/examples/tests/dep2-assist-tests.rkt b/turnstile/examples/tests/dep-assist-tests.rkt
similarity index 100%
rename from turnstile/examples/tests/dep2-assist-tests.rkt
rename to turnstile/examples/tests/dep-assist-tests.rkt
diff --git a/turnstile/examples/tests/dep2-peano.rkt b/turnstile/examples/tests/dep-peano-tests.rkt
similarity index 100%
rename from turnstile/examples/tests/dep2-peano.rkt
rename to turnstile/examples/tests/dep-peano-tests.rkt
diff --git a/turnstile/examples/tests/dep2-tests.rkt b/turnstile/examples/tests/dep-tests.rkt
similarity index 100%
rename from turnstile/examples/tests/dep2-tests.rkt
rename to turnstile/examples/tests/dep-tests.rkt