Resolving bug with coherence in logic comparation close #3