@Override
  public String toString() {
    return "[AndFilter: " +
           base +
           ",\n" +
           "            " +
           refiner +
           "]";
  }
@Override
  public String toString()