diff --git a/k-distribution/pl-tutorial/2_languages/3_fun/1_untyped/2_substitution/fun-untyped.md b/k-distribution/pl-tutorial/2_languages/3_fun/1_untyped/2_substitution/fun-untyped.md
index fff5887897b..b09df15403a 100644
--- a/k-distribution/pl-tutorial/2_languages/3_fun/1_untyped/2_substitution/fun-untyped.md
+++ b/k-distribution/pl-tutorial/2_languages/3_fun/1_untyped/2_substitution/fun-untyped.md
@@ -2,6 +2,10 @@
 copyright: Copyright (c) K Team. All Rights Reserved.
 ---
 
+// NOTE: this definition is not up to date with the latest version of K, as it
+// uses both substitution and symbolic reasoning.
+// It is intended for documentation and academic purposes only.
+
 # FUN — Untyped — Substitution
 
 Author: Grigore Roșu (grosu@illinois.edu)  
diff --git a/k-distribution/pl-tutorial/2_languages/4_logik/basic/logik.md b/k-distribution/pl-tutorial/2_languages/4_logik/basic/logik.md
index 609d817ffe9..a8ba9f80ecb 100644
--- a/k-distribution/pl-tutorial/2_languages/4_logik/basic/logik.md
+++ b/k-distribution/pl-tutorial/2_languages/4_logik/basic/logik.md
@@ -2,6 +2,9 @@
 copyright: Copyright (c) K Team. All Rights Reserved.
 ---
 
+// NOTE: this definition is not runnable as is.
+// It is intended for documentation and academic purposes only.
+
 # LOGIK
 
 Author: Grigore Roșu (grosu@illinois.edu)  
diff --git a/k-distribution/pl-tutorial/2_languages/4_logik/extended/exercises/logik-extended/logik.k b/k-distribution/pl-tutorial/2_languages/4_logik/extended/exercises/logik-extended/logik.k
index e91d5d60582..cbff848c668 100644
--- a/k-distribution/pl-tutorial/2_languages/4_logik/extended/exercises/logik-extended/logik.k
+++ b/k-distribution/pl-tutorial/2_languages/4_logik/extended/exercises/logik-extended/logik.k
@@ -1,4 +1,8 @@
 // Copyright (c) K Team. All Rights Reserved.
+
+// NOTE: this definition is not runnable as is.
+// It is intended for documentation and academic purposes only.
+
 require "unification.k"
 
 module LOGIK-COMMON