diff --git a/synth/src/main.rs b/synth/src/main.rs
index aa8cf67..b464d96 100644
--- a/synth/src/main.rs
+++ b/synth/src/main.rs
@@ -5,8 +5,8 @@ mod basic;
 mod filters;
 mod incremental;
 mod repair;
+mod studies;
 mod testbench;
-mod windowing;
 
 use crate::basic::basic_repair;
 use crate::filters::can_be_repaired_from_arbitrary_state;
@@ -14,8 +14,8 @@ use crate::incremental::{IncrementalConf, IncrementalRepair};
 use crate::repair::{
     add_change_count, create_smt_ctx, RepairContext, RepairResult, RepairStatus, RepairVars,
 };
+use crate::studies::windowing::{Windowing, WindowingConf};
 use crate::testbench::*;
-use crate::windowing::{Windowing, WindowingConf};
 use clap::{arg, Parser, ValueEnum};
 use easy_smt as smt;
 use libpatron::ir::{
diff --git a/synth/src/studies/mod.rs b/synth/src/studies/mod.rs
new file mode 100644
index 0000000..797cb13
--- /dev/null
+++ b/synth/src/studies/mod.rs
@@ -0,0 +1 @@
+pub mod windowing;
diff --git a/synth/src/windowing.rs b/synth/src/studies/windowing.rs
similarity index 100%
rename from synth/src/windowing.rs
rename to synth/src/studies/windowing.rs