class And extends Logic {

  @Override
  public int hashCode() {
    int code = super.hashCode();
    return code + 1;
  }

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

}