diff --git a/examples/permutations.lp b/examples/permutations.lp
index 6f130f4..ac911b4 100644
--- a/examples/permutations.lp
+++ b/examples/permutations.lp
@@ -1,5 +1,4 @@
 #show p/2.
-%#external integer(n(0)).
 
 {p(1..n, 1..n)}.
 
diff --git a/examples/prime.lp b/examples/prime.lp
index d39a222..2fa7e0a 100644
--- a/examples/prime.lp
+++ b/examples/prime.lp
@@ -1,5 +1,4 @@
 #show prime/1.
-%#external integer(n(0)).
 
 composite(I * J) :- I = 2..n, J = 2..n.
 prime(N) :- N = 2..n, not composite(N).
diff --git a/examples/schur-numbers.lp b/examples/schur-numbers.lp
index fd0fd4f..5c4e63a 100644
--- a/examples/schur-numbers.lp
+++ b/examples/schur-numbers.lp
@@ -1,6 +1,4 @@
 #show in/2.
-%#external integer(n(0)).
-%#external integer(r(0)).
 
 {in(1..n, 1..r)}.
 covered(I) :- in(I, S).