class And extends Logic {

  @Override
  public boolean equals(Object a) {
    if (!(a instanceof And)) {
      return false;
    }
    return super.equals(a);
  }

  public  And();
  public  And(Constraint... subConstraints);
  public  And(List<Constraint> subConstraints);

}