diff --git a/RELEASE b/RELEASE
index 9293fa6f2..13be1f21d 100644
--- a/RELEASE
+++ b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+[v3.8.0] simplifying blogic reasoning
 [v3.7.1] further taking out rdf list comprehension in blogic
 [v3.7.0] making string:join bidirectional
 [v3.6.0] taking out broken rdf list comprehension in blogic
diff --git a/VERSION b/VERSION
index a76ccff2a..19811903a 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-3.7.1
+3.8.0
diff --git a/eye.pl b/eye.pl
index 0fe832441..b1cb033dc 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 v3.7.1 josd').
+version_info('EYE v3.8.0 josd').
 
 license_info('MIT License
 
@@ -759,7 +759,7 @@
                     ->  assertz('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, H))
                     ;   true
                     )), true, '<>')),
-    % negative surface factoring
+    % factoring
     assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
                     conj_list(G, L),
                     list_to_set(L, M),
@@ -768,25 +768,6 @@
                     ->  assertz('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, H))
                     ;   true
                     )), true, '<>')),
-    % negative surface disjunction
-    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),
-                    conj_list(H, M),
-                    length(M, I),
-                    I > 1,
-                    findall(1,
-                        (   member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, _), M)
-                        ),
-                        D
-                    ),
-                    length(D, I),
-                    member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, A), M),
-                    conj_list(B, [A|K]),
-                    (   \+'<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, B)
-                    ->  assertz('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, B))
-                    ;   true
-                    )), true, '<>')),
     % adjust graffiti
     assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
                     findvars(G, U, beta),
@@ -808,7 +789,7 @@
                     findvars(S, W, beta),
                     makevars(S, I, beta(W))
                     ), '<http://www.w3.org/2000/10/swap/log#implies>'(Q, I), '<>')),
-    % forward rule contrapositive
+    % contrapositive
     assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
                     conj_list(G, L),
                     \+member('<http://www.w3.org/2000/10/swap/log#onPositiveSurface>'(_, _), L),
@@ -836,7 +817,7 @@
                         assertz(C)
                     ;   true
                     )), true, '<>')),
-    % query surface
+    % query
     assertz(implies(('<http://www.w3.org/2000/10/swap/log#onQuerySurface>'(V, G),
                     conj_list(G, L),
                     (   select('<http://www.w3.org/2000/10/swap/log#onQuerySurface>'(_, H), L, K)
diff --git a/eye.zip b/eye.zip
index 147398d80..c2dea0adf 100644
Binary files a/eye.zip and b/eye.zip differ