diff --git a/VERSION b/VERSION
index f2ae0b4..0b1f1ed 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.2.12
+1.2.13
diff --git a/etc/output/sdcoding.pl b/etc/output/sdcoding.pl
index 7104f0f..9fc67c0 100644
--- a/etc/output/sdcoding.pl
+++ b/etc/output/sdcoding.pl
@@ -10,16 +10,16 @@
 %
 
 ether(('urn:example:sdc'(A,B)=>'urn:example:sdconot'(A,B)),'urn:example:sdc'(0,1),'urn:example:sdconot'(0,1)).
-ether(('urn:example:sdc'('urn:example:sdconot'(0,3),A)=>'urn:example:sdconot'('urn:example:sdconot'(0,3),A)),'urn:example:sdc'(0,3),'urn:example:sdconot'(0,3)).
-ether(('urn:example:sdc'(true,false)=>'urn:example:sdconot'(true,false)),'urn:example:sdc'(1,0),'urn:example:sdconot'(1,0)).
-ether(('urn:example:sdc'('urn:example:sdconot'(1,1),A)=>'urn:example:sdconot'('urn:example:sdconot'(1,1),A)),'urn:example:sdc'(1,1),'urn:example:sdconot'(1,1)).
-ether(('urn:example:sdc'('urn:example:sdconot'(1,2),A)=>'urn:example:sdconot'('urn:example:sdconot'(1,2),A)),'urn:example:sdc'(1,2),'urn:example:sdconot'(1,2)).
-ether(('urn:example:sdc'('urn:example:sdconot'(2,1),A)=>'urn:example:sdconot'('urn:example:sdconot'(2,1),A)),'urn:example:sdc'(2,1),'urn:example:sdconot'(2,1)).
-ether(('urn:example:sdc'('urn:example:sdconot'(2,3),A)=>'urn:example:sdconot'('urn:example:sdconot'(2,3),A)),'urn:example:sdc'(2,3),'urn:example:sdconot'(2,3)).
-ether(('urn:example:sdc'(false,true)=>'urn:example:sdconot'(false,true)),'urn:example:sdc'(3,1),'urn:example:sdconot'(3,1)).
-ether(('urn:example:sdc'(false,true)=>'urn:example:sdconot'(false,true)),'urn:example:sdc'(3,3),'urn:example:sdconot'(3,3)).
-ether(('urn:example:sdc'(false,true)=>'urn:example:sdconot'(false,true)),'urn:example:sdc'(3,0),'urn:example:sdconot'(3,0)).
-ether(('urn:example:sdc'(false,true)=>'urn:example:sdconot'(false,true)),'urn:example:sdc'(3,2),'urn:example:sdconot'(3,2)).
-ether(('urn:example:sdc'(true,true)=>'urn:example:sdconot'(true,true)),'urn:example:sdc'(0,0),'urn:example:sdconot'(0,0)).
-ether(('urn:example:sdc'(false,true)=>'urn:example:sdconot'(false,true)),'urn:example:sdc'(2,0),'urn:example:sdconot'(2,0)).
-ether(('urn:example:sdc'('urn:example:sdconot'(2,2),A)=>'urn:example:sdconot'('urn:example:sdconot'(2,2),A)),'urn:example:sdc'(2,2),'urn:example:sdconot'(2,2)).
+ether(('urn:example:sdc'(A,B)=>'urn:example:sdconot'(A,B)),'urn:example:sdc'(0,3),'urn:example:sdconot'(0,3)).
+ether(('urn:example:sdc'(A,B)=>'urn:example:sdconot'(A,B)),'urn:example:sdc'(1,0),'urn:example:sdconot'(1,0)).
+ether(('urn:example:sdc'(A,B)=>'urn:example:sdconot'(A,B)),'urn:example:sdc'(1,1),'urn:example:sdconot'(1,1)).
+ether(('urn:example:sdc'(A,B)=>'urn:example:sdconot'(A,B)),'urn:example:sdc'(1,2),'urn:example:sdconot'(1,2)).
+ether(('urn:example:sdc'(A,B)=>'urn:example:sdconot'(A,B)),'urn:example:sdc'(2,1),'urn:example:sdconot'(2,1)).
+ether(('urn:example:sdc'(A,B)=>'urn:example:sdconot'(A,B)),'urn:example:sdc'(2,3),'urn:example:sdconot'(2,3)).
+ether(('urn:example:sdc'(A,B)=>'urn:example:sdconot'(A,B)),'urn:example:sdc'(3,1),'urn:example:sdconot'(3,1)).
+ether(('urn:example:sdc'(A,B)=>'urn:example:sdconot'(A,B)),'urn:example:sdc'(3,3),'urn:example:sdconot'(3,3)).
+ether(('urn:example:sdc'(A,B)=>'urn:example:sdconot'(A,B)),'urn:example:sdc'(3,0),'urn:example:sdconot'(3,0)).
+ether(('urn:example:sdc'(A,B)=>'urn:example:sdconot'(A,B)),'urn:example:sdc'(3,2),'urn:example:sdconot'(3,2)).
+ether(('urn:example:sdc'(A,B)=>'urn:example:sdconot'(A,B)),'urn:example:sdc'(0,0),'urn:example:sdconot'(0,0)).
+ether(('urn:example:sdc'(A,B)=>'urn:example:sdconot'(A,B)),'urn:example:sdc'(2,0),'urn:example:sdconot'(2,0)).
+ether(('urn:example:sdc'(A,B)=>'urn:example:sdconot'(A,B)),'urn:example:sdc'(2,2),'urn:example:sdconot'(2,2)).
diff --git a/eye3.pl b/eye3.pl
index 7e8393e..851ac4b 100644
--- a/eye3.pl
+++ b/eye3.pl
@@ -20,7 +20,7 @@
 
 term_expansion((Head <= Body),(Head :- Body)).
 
-version_info('eye3 v1.2.12 (2024-11-29)').
+version_info('eye3 v1.2.13 (2024-11-29)').
 
 % main goal
 main :-
@@ -61,7 +61,7 @@
 %
 run :-
     (   (Prem => Conc),     % 1/
-        copy_term((Prem => Conc),Rule),
+        copy_term((Prem => Conc),Rule,_),
         Prem,               % 2/
         (   Conc = true     % 3/
         ->  (   \+answer(Prem)