diff --git a/formal-consensus/RULEAZA-TOT.md b/formal-consensus/RULEAZA-TOT.md
index 5183d83..a8be952 100644
--- a/formal-consensus/RULEAZA-TOT.md
+++ b/formal-consensus/RULEAZA-TOT.md
@@ -70,10 +70,11 @@ prin wsl.exe). Toate rularile folosesc `-deadlock` fiindca protocolul se TERMINA
 
 ```bash
 # copie dosarul in /root (rulare rapida, in afara /mnt)
+AERE_REPO=/calea/catre/clona/depozitului     # radacina clonei tale; dosarul formal-tla/ sta direct sub ea
 mkdir -p /root/ftla
-cp -f /mnt/c/Users/Jessica/Documents/AereNetwork/aerenew/formal-tla/*.tla /root/ftla/
-cp -f /mnt/c/Users/Jessica/Documents/AereNetwork/aerenew/formal-tla/*.cfg /root/ftla/
-cp -f /mnt/c/Users/Jessica/Documents/AereNetwork/aerenew/formal-tla/tla2tools.jar /root/ftla/
+cp -f "$AERE_REPO"/formal-tla/*.tla /root/ftla/
+cp -f "$AERE_REPO"/formal-tla/*.cfg /root/ftla/
+cp -f "$AERE_REPO"/formal-tla/tla2tools.jar /root/ftla/
 cd /root/ftla
 for CFG in MCpart_safety MCpart_safety_witness MCpart_safety_negctrl \
            MCpart_noprogress MCpart_liveness MCpart_liveness_negctrl; do