@Contract("false -> fail")
  public static void require(boolean statement) {
    if (!statement) {
      throw new IllegalArgumentException(PRECONDITION_IS_NOT_SATISFIED);
    }
  }
@Contract("false -> fail")
  public static void require(boolean statement)