diff --git a/nars-dist/NARS.jar b/nars-dist/NARS.jar
index 1357ebef1501d4296b38f51401fd2ddfab232d72..f6a3ceb62b73b073d3367f1ffa3998b6994b71f6 100644
Binary files a/nars-dist/NARS.jar and b/nars-dist/NARS.jar differ
diff --git a/nars_core_java/nars/inference/CompositionalRules.java b/nars_core_java/nars/inference/CompositionalRules.java
index 96c634141b1bd380bfd7fc04de8426f2668fcb66..d1584da342601a0e23b3f6682497b839b87fa756 100644
--- a/nars_core_java/nars/inference/CompositionalRules.java
+++ b/nars_core_java/nars/inference/CompositionalRules.java
@@ -68,7 +68,7 @@ public final class CompositionalRules {
             //we have to select a random belief
             ArrayList<HashMap<Term, Term>> terms_dependent=new ArrayList<HashMap<Term, Term>>();
             ArrayList<HashMap<Term, Term>> terms_independent=new ArrayList<HashMap<Term, Term>>();
-            //ok, we have selected a second concept, we know its most confident truth value, lets now go through taskterms components
+            //ok, we have selected a second concept, we know the truth value of a belief of it, lets now go through taskterms components
             //for two levels, and remember the terms which unify with second
             ArrayList<Term> components_level1=((CompoundTerm) taskterm).getComponents();
             Term secterm_unwrap=unwrapNegation(secterm);
@@ -85,7 +85,7 @@ public final class CompositionalRules {
                 if(!((T1_unwrap instanceof Implication) || (T1_unwrap instanceof Equivalence) || (T1_unwrap instanceof Conjunction) || (T1_unwrap instanceof Disjunction))) {
                     continue;
                 }
-                if(T1_unwrap instanceof CompoundTerm){// && (T1_unwrap instanceof Disjunction || T1_unwrap instanceof Conjunction)) {
+                if(T1_unwrap instanceof CompoundTerm) {
                     ArrayList<Term> components_level2=((CompoundTerm) T1_unwrap).getComponents();
                     for(Term T2 : components_level2) {
                         Term T2_unwrap=unwrapNegation(T2);  
@@ -102,7 +102,6 @@ public final class CompositionalRules {
             }
             Term result;
             TruthValue truth;
-            double valu=rand.nextDouble();
             if(!terms_dependent.isEmpty()) { //dependent or independent
                 if(terms_dependent.isEmpty()) {
                     return false;
diff --git a/nars_gui/nars/main/NARS.java b/nars_gui/nars/main/NARS.java
index 9d0468647d2d9453dd4a48929bb4941d3b7aea75..f1db56788dd33b88105d3416a96fb9b216a93089 100644
--- a/nars_gui/nars/main/NARS.java
+++ b/nars_gui/nars/main/NARS.java
@@ -35,7 +35,7 @@ public class NARS implements Runnable {
     /**
      * The information about the version and date of the project.
      */
-    public static final String INFO = "Open-NARS\tVersion 1.5.6\tJuly 2014 \n";
+    public static final String INFO = "Open-NARS\tVersion 1.5.7\tJuly 2014 \n";
     /**
      * The project web sites.
      */