anchor.diff:              Acc3 = append_to_eliminate_later(F_x, Acc2),
               {F, Acc3}
       end;
  -check_where_clause_is_possible_fold(_, _, {'>=',{field,FieldName,_},{const,_GteVal}} = F, Acc) ->
  +check_where_clause_is_possible_fold(_, _, {'>=',{field,FieldName,_},{const,GteVal}} = F, Acc) ->
       case find_filter_check(FieldName, Acc) of
  +        #filtercheck{'=' = {_,_,{const,EqVal}}} when GteVal =< EqVal ->
  +            %% query like `a = 10 AND a >= 8` we can eliminate the greater than
  +            %% or equal to clause because if a to be 10 it must also be greater
  +            %% than 8
  +            {eliminate, Acc};
           #filtercheck{'>=' = undefined} = Check1 ->
               %% this is the first equality check so just record it
               Check2 = Check1#filtercheck{'>=' = F},
  
positive.code:         S?SQL_SELECT.'WHERE'
      ).
  
  -endif.
  
negative.code:             Acc2 = append_to_eliminate_later(GtF, Acc),
              Check2 = Check1#filtercheck{'>' = undefined, '=' = F},
              {F, lists:keystore(FieldName, #filtercheck.name, Acc2, Check2)};
          #filtercheck{'>=' = {_,_,{const,GteVal}} = GteF} = Check1 when GteVal < EqVal ->
              %% query like `a = 10 AND a > 8` we can eliminate the greater than
              %% clause because if a to be 10 it must also be greater than 8
              Acc2 = append_to_eliminate_later(GteF, Acc),
              Check2 = Check1#filtercheck{'>=' = undefined, '=' = F},
              {F, lists:keystore(FieldName, #filtercheck.name, Acc2, Check2)};
          #filtercheck{'=' = F_x} when F_x /= undefined ->
              %% there are two different checks on the same column, for equality
              %% this can never be satisfied.
  