diff --git a/RELEASE b/RELEASE
index 67644acb8..850882426 100644
--- a/RELEASE
+++ b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+[v2.7.5] making sure that no built-in arrives in the conclusion of rules generated for --blogic
 [v2.7.4] simplifying the --blogic rule for contrapositives
 [v2.7.3] further substantial performance improvement of --blogic
 [v2.7.2] improving performance of --blogic with some 15%
diff --git a/VERSION b/VERSION
index a4dd9dba4..a603bb50a 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-2.7.4
+2.7.5
diff --git a/eye.pl b/eye.pl
index bbddea37a..2f7aecf2e 100644
--- a/eye.pl
+++ b/eye.pl
@@ -20,7 +20,7 @@
 :- use_module(library(semweb/turtle)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v2.7.4 josd').
+version_info('EYE v2.7.5 josd').
 
 license_info('MIT License
 
@@ -745,11 +745,11 @@
     assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
                     conj_list(G, L),
                     select('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(W, H), L, K),
+                    K \= [],
                     forall(
                         member(M, K),
                         predicate_property(M, dynamic)
                     ),
-                    K \= [],
                     conj_list(T, K),
                     (   H = '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(W, A)
                     ->  D = A
@@ -779,6 +779,10 @@
                     conj_list(G, L),
                     select(J, L, K),
                     J \= '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, _),
+                    forall(
+                        member(M, K),
+                        predicate_property(M, dynamic)
+                    ),
                     conj_list(H, K),
                     findall(1,
                         (   member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, _), L)
diff --git a/eye.zip b/eye.zip
index f80f3b0d2..76b395f66 100644
Binary files a/eye.zip and b/eye.zip differ