Last Modified: November 19, 2025
This is a binding agreement (“Agreement”) between you and the entity you represent (collectively “Customer,” “you,” or “your”) and Concordance Inc. dba Harmonic (“Harmonic,” “we,” or “us”). This Agreement governs your access to and use of Harmonic’s hosted application programming interface for the Aristotle product (the “Aristotle API” or the “Services”), which you access over HTTPS. By use of our Services, you agree to be bound by the terms and conditions of this Agreement.
YOU (A) ACKNOWLEDGE THAT YOU HAVE READ AND UNDERSTAND THIS AGREEMENT; (B) REPRESENT AND WARRANT THAT YOU HAVE THE RIGHT, POWER, AND AUTHORITY TO ENTER INTO THIS AGREEMENT (AND, IF ENTERING ON BEHALF OF AN ENTITY, TO BIND THAT ENTITY); AND (C) ACCEPT THIS AGREEMENT. IF YOU DO NOT AGREE, DO NOT ACCESS OR USE THE SERVICES.
- Aristotle API means Harmonic’s hosted application programming interface for the Aristotle product.
- API Documentation means Harmonic’s documentation for the Aristotle API (including any usage limits and implementation guidance) as Harmonic may update from time to time.
- API Key means the security credential we make available for Customer to access the Aristotle API.
- AI Customer Input means any information, data, files (including Lean4 source files), prompts, instructions, code, or other content that Customer (or its Authorized Users) submits to or through the Services.
- AI Customer Output means content generated or returned by the Services in response to AI Customer Input (for example, proposed Lean4 proof steps).
- Customer Data means AI Customer Input and AI Customer Output, and any derivative works thereof. Customer Data excludes Aggregated Statistics and Harmonic Materials.
- Aggregated Statistics means data and information related to Customer’s use of the Services that Harmonic compiles in aggregated or de‑identified form, including usage analytics, performance data, and quality signals.
- Authorized Users means Customer’s employees, contractors, and agents that Customer authorizes to access the Services under Customer’s account and to whom Customer supplies an API Key.
- Data Generation means the use of the Services or AI Customer Output with the primary purpose of producing synthetic, labeled, or curated datasets for training, fine-tuning, or evaluating any machine learning, AI, or statistical model, whether for internal use, distribution, or sale. Data Generation does not include incidental downstream training or analysis that may occur as a result of publishing outputs in good-faith research or open-source projects.
- Harmonic Materials means the Services, the Aristotle models and systems (including model architectures, parameters, weights, prompts, safety systems, and datasets), Harmonic’s software, websites, documentation, and all modifications, enhancements, and derivative works thereof, together with all related intellectual property.
- Parties means all individuals and entities bound by this Agreement, including you and the entity you represent (collectively “Customer,” “you,” or “your”) and Concordance Inc. dba Harmonic (“Harmonic,” “we,” or “us”).
- Personal Information means information that identifies or can reasonably be linked to an identified or identifiable natural person, including identifiers (for example, name, email address, telephone number, online identifiers), authentication or account credentials, precise geolocation, biometric, health or genetic data, financial account numbers, device and usage data, and any information defined as “personal information,” “personal data,” or similar under applicable law. Personal Information also include Personal Data as provided under European Union regulations for those data subjects within that jurisdiction. ‘Personal data’ means any information relating to an identified or identifiable natural person (‘data subject’); an identifiable natural person is one who can be identified, directly or indirectly, in particular by reference to an identifier such as a name, an identification number, location data, an online identifier or to one or more factors specific to the physical, physiological, genetic, mental, economic, cultural or social identity of that natural person.
- Privacy Policy means Aristotle’s privacy policy (“Harmonic Privacy Policy”) as updated from time to time and incorporated into this Agreement by reference as binding additional terms and conditions of this Agreement.
- Services means the Aristotle API and all related products and services provided by Harmonic of any kind and nature.
- Term means the period beginning on the date you accept this Agreement or first access the Services (whichever occurs first) and continuing until this Agreement is terminated under Section 13.
- Third-Party Offerings means products, technology, content, data, services, software, models, websites, or other materials that are owned or provided by third parties and that interoperate with, are accessed through, or are used with the Services (including cloud infrastructure and foundation models).
- Training (and Train) means training, pre‑training, fine‑tuning, instruction‑tuning, alignment, reinforcement learning (including RLHF/RLAIF), model distillation, evaluation dataset creation, labeling or scoring for model improvement, embedding model training, or any other method intended to develop, or improve an AI model or system.
2.1 Provision of Access. Subject to your continued compliance with this Agreement, Harmonic grants you a limited, revocable, non‑exclusive, non‑transferable, non‑sublicensable right to access and use the Services during the Term solely to submit Lean4 and related content as AI Customer Input and receive AI Customer Output for your internal business purposes.
2.2 API Keys. You must obtain and securely maintain an API Key. You are responsible for all activities under your keys. Do not share keys outside your organization. We may revoke or rotate keys at any time.
2.3 HTTPS Only. You must access the Services exclusively over TLS/HTTPS; attempts to connect insecurely are prohibited and may be blocked.
2.4 Suspension. Harmonic may suspend the Services or your access immediately (in whole or part) if Harmonic believes: (a) there is a security issue or threat to the Services; (b) you or an Authorized User is using the Services in violation of this Agreement or law; (c) your account is delinquent; (d) provision of Services is prohibited by law; or (e) a third‑party provider on which the Services depend suspends service.
You and your Authorized Users will not engage in any of the following activities directly or indirectly or through any activities involving a third party:
a. copy, modify, translate, or create derivative works of the Services or Harmonic Materials;
b. reverse engineer, decompile, disassemble, attempt to extract model weights, parameters, or underlying source code, or otherwise seek to derive the Services’ internal workings;
c. access or use the Services or any AI Customer Output for Data Generation;
d. use the Services to develop, train, or improve any competing or substantially similar product or service;
e. use web scraping, data harvesting, or bulk export to extract content from the Services other than through documented API methods;
f. bypass or interfere with Service rate limits, quotas, safety filters, or content/source citations;
g. submit any Personal Information or regulated data (including PHI, PCI, sensitive identifiers, or children’s data), or any data you do not have the legal right to provide;
h. use the Services for unlawful, harmful, deceptive, or high‑risk purposes (including medical diagnosis, critical infrastructure, or autonomous decision‑making without adequate human review); or
i. remove or obscure proprietary notices or use Harmonic’s names, logos, or marks without written permission.
4.1 Account; Personnel. You are responsible for your accounts, systems, and Authorized Users’ compliance with this Agreement.
4.2 Human Review; Validation. You are solely responsible for independently reviewing, testing, and validating AI Customer Output (including by using Lean4 or other formal verification) before you rely on, publish, or distribute any AI Customer Output.
4.3 Third‑Party Offerings. If Harmonic enables optional interoperation with third‑party services, your use of them is subject to the third party’s terms; Harmonic is not responsible for those offerings. By using such third-party services offered through Harmonic, you hereby agree to be bound by the terms of service and license agreements offered by such services.
5.1 Ownership. As between the Parties, Harmonic owns all right, title, and interest in and to Harmonic Materials. As between the Parties, Customer owns Customer Data subject to the licenses you grant Harmonic below.
5.2 License from Customer to Harmonic. You grant Harmonic an irrevocable, perpetual, worldwide, non‑exclusive, transferable, sublicensable, royalty‑free license to use, host, reproduce, process, adapt, translate, publish, perform, display, distribute, and create derivative works from Customer Data and related metadata for any purpose, including to operate, maintain, secure, troubleshoot, develop, train, retrain, validate, test, and improve the Services, Aristotle models, and other Harmonic products and services. Harmonic may use and disclose Aggregated Statistics for any purpose. Any use or disclosure of Customer Data, including Customer’s identity, is governed by the Aristotle Privacy Policy then effect. The Parties hereby agree to be bound by the Aristotle Privacy Policy regarding any disclosure of Personal Information.
5.3 No Confidentiality for Customer Data to the Extent of License. Customer Data is not treated as your Confidential Information to the extent necessary for Harmonic to exercise the license in Section 5.2. Customer Data is excluded from the definition of a trade secret.
5.4 Restrictions on Your Use of Outputs. You may not use the Services or any AI Customer Output for the purpose of Training any model or system, nor permit any third party to do so. You may incorporate AI Customer Output into open-source or academic projects where they are naturally used, modified, or redistributed, even if such outputs are later included in datasets used for Training provided that you do not use the Services or AI Customer Output for the purpose of Training. Subject to the other provisions of this Section 5.4 and Section 3, Harmonic grants you a non‑exclusive, worldwide, royalty‑free license to use, reproduce, and create derivative works from AI Customer Output for your internal business purposes.
5.5 Feedback. If you provide feedback, suggestions, or ideas regarding the Services, you assign to Harmonic all rights in such feedback; feedback is non‑confidential and excluded from the definition of a trade secret. Harmonic may use it without restriction or attribution.
Each party may disclose to the other non‑public information identified as confidential or that should reasonably be understood to be confidential (“Confidential Information”). The receiving party will use the disclosing party’s Confidential Information only to perform under this Agreement and will protect it using reasonable measures. Confidential Information excludes information that is publicly available, already known, independently developed, or rightfully obtained from a third party without duty of confidentiality. The receiving party may disclose Confidential Information when required by law (with prompt notice, if legally permitted).
The Parties hereby agree and stipulate that any Confidential Information of the Parties shall be deemed a "trade secret" as that term is defined under the Economic Espionage Act of 1996 (the "Act") and further agree and stipulate that the Parties by this Agreement have taken all reasonable steps under the Act to keep such information secret. Trade secrets covered by this Agreement include, without limitation all API Keys, Harmonic Materials, account information, operational logs, and any other information not provided by the Parties to the general public.
Customer Data is not a trade secret hereunder and treated as Confidential Information only to the extent not inconsistent with Section 5.2.
7.1 Limitation on Processing Personal Information. The Services are not designed to process Personal Information. You must not submit Personal Information. Harmonic’s collection and use of information about your account and API usage is described in Harmonic’s Privacy Policy, as updated from time to time. Your submission of Personal Information constitutes a material breach of this Agreement, and in consequence, as provided in Section 11, you are obligated indemnify, defend, and hold us harmless for any disclosure of your Personal Information of the Personal Information of any third party.
7.2 Compliance with GDPR Obligations. If you are a European Union data subject or protected under similar extraterritorial legislation in the European Economic Area, Switzerland or the UK,, the following additional provision applies to the Personal Information you share with us. Under the General Data Protection Regulation and substantially similar laws (collectively “GDPR”), Personal Information you share with us about a data subject must also include additional information, which we provide to you in the Harmonic Privacy Policy. The Harmonic Privacy Policy is hereby incorporated by reference into this Agreement to meet those obligations. These include, without limitation, the identity and the contact details of the controller; contact details of the data protection officer, where applicable;
And the purposes of the processing each type of collected information and the legal basis for processing that information; the transferability and limits of transferability of the information collected; and all other information relevant to compliance with GDPR. We may update this Privacy Policy from time to time. We will post the updated Privacy Policy with a new “Last Updated” date and, where required, provide additional notice in a form required by the law of each jurisdiction. Your continued use of the Services after an update signifies your acceptance of the updated Privacy Policy.
Harmonic does not guarantee uptime or provide support unless Harmonic publishes separate service levels or support policies that expressly apply to your account. Harmonic may modify or update the Services (including models, endpoints, and parameters) at any time and may require you to use the latest version. Changes may affect how your applications interact with the Services.
Harmonic does not presently charge fees for use of the Services. If Harmonic charges fees, Harmonic will give you thirty (30) days notice you will pay the fees described in the applicable order page or pricing schedule. Harmonic may suspend the Services for non‑payment.
10.1. Each of the parties hereto hereby represents and warrants to the other party hereto that (a) such party has all requisite company power and authority to execute and deliver this Agreement and to perform such party's obligations hereunder, (b) this Agreement has been duly authorized, executed and delivered by such party, and is a valid and binding obligation, enforceable against such party in accordance with its terms, (c) this Agreement will not result in a violation of any terms or conditions of any agreements to which such party is a party or by which such party may otherwise be bound or of any law, rule, license, regulation, judgment, order or decree governing or affecting such party, and (d) the use of the Services provided hereunder do not violate the rights of any third party, including intellectual property rights or otherwise constitute tortious conduct toward any third party.
10.2 Customer Data Warranties. You represent and warrant that throughout the term of this Agreement (a) you have and will maintain all necessary rights in Customer Data to grant the license in Section 5.2; (b) Customer Data does not include Personal Information or data you are prohibited from disclosing; and (c) you will comply with any law, rule, license, regulation, judgment, order or decree governing or affecting in using the Services.
10.3 Service Disclaimer. THE SERVICES, HARMONIC MATERIALS, AND AI CUSTOMER OUTPUT ARE PROVIDED “AS IS” AND “AS AVAILABLE.” TO THE MAXIMUM EXTENT PERMITTED BY LAW, HARMONIC DISCLAIMS ALL WARRANTIES, WHETHER EXPRESS, IMPLIED, STATUTORY, OR OTHERWISE, INCLUDING WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, CONSTITUTES MARKETABLE TITLE, AND ANY WARRANTIES ARISING FROM COURSE OF DEALING OR USAGE. HARMONIC DOES NOT WARRANT THAT THE SERVICES OR ANY AI CUSTOMER OUTPUT WILL BE ERROR‑FREE, ACCURATE, COMPLETE, SECURE, AVAILABLE, OR SUITABLE FOR ANY PARTICULAR USE, OR THAT ERRORS WILL BE CORRECTED. AI CUSTOMER OUTPUT MAY BE INCORRECT OR UNSAFE IF USED WITHOUT HUMAN REVIEW, MAY BE SIMILAR TO OUTPUT PROVIDED TO OTHERS, AND MAY NOT BE ELIGIBLE FOR IP PROTECTION.
You will defend, indemnify, and hold harmless Harmonic and its affiliates, officers, directors, employees, and agents from and against any third‑party claims, losses, damages, liabilities, costs, and expenses (including reasonable attorneys’ fees) arising from: (a) Customer Data (including claims it violates law or infringes or misappropriates rights); (b) your or your Authorized Users’ use of the Services in violation of this Agreement or law; or (c) Your applications or services that use the Services. Harmonic will promptly notify you of the claim, permit you to control the defense and settlement (subject to Harmonic’s approval for any settlement that imposes obligations on Harmonic or admits fault), and reasonably cooperate at your expense.
TO THE MAXIMUM EXTENT PERMITTED BY LAW, HARMONIC WILL NOT BE LIABLE FOR ANY INDIRECT, INCIDENTAL, SPECIAL, CONSEQUENTIAL, EXEMPLARY, OR PUNITIVE DAMAGES; LOSS OF PROFITS, REVENUE, GOODWILL, DATA, OR USE; OR COST OF SUBSTITUTE GOODS OR SERVICES, EVEN IF ADVISED OF THE POSSIBILITY. HARMONIC’S AGGREGATE LIABILITY ARISING OUT OF OR RELATING TO THIS AGREEMENT WILL NOT EXCEED THE GREATER OF (A) THE AMOUNTS PAID BY YOU TO HARMONIC FOR THE SERVICES IN THE 12 MONTHS BEFORE THE EVENT GIVING RISE TO LIABILITY OR (B) USD $1000. The foregoing will not limit liability to the extent prohibited by law.
13.1 Term. This Agreement starts on the earlier of your click‑acceptance or first access to the Services and continues until terminated.
13.2 Termination. Harmonic may terminate or suspend the Services or this Agreement (including your licenses) at any time for any or no reason, including for breach or risk to the Services. You may terminate at any time by ceasing all access and use and deleting your keys.
13.3 Effect of Termination. Upon termination, your rights under this Agreement end and you must stop using the Services and delete all Harmonic Materials in your possession. Harmonic has no obligation to retain or return Customer Data and may delete it at any time, except to the extent Harmonic retains data under Section 5.2 or as required by law. Sections that by their nature should survive (including 3–5, 6, 8–12, 13.3, 14–17) will survive termination.
Harmonic may modify this Agreement from time to time. Harmonic will notify you by posting the modified terms or by email. Your continued use after the effective date constitutes acceptance. If you do not agree, stop using the Services and cancel your account before the effective date.
You will comply with U.S. and other applicable export and sanctions laws. You will not export or provide access to the Services to embargoed countries, prohibited end users, or for prohibited end uses.
16. BINDING ARBITRATION; NO CLASS ACTIONS.
ARBITRATION. BY USING THE SERVICES PROVIDED, YOU AGREE TO SETTLE ANY AND ALL DISPUTES WITH US USING BINDING ARBITRATION. IN EXCHANGE, WE ALSO AGREE TO SETTLE ANY AND ALL DISPUTES WITH YOU USING BINDING ARBITRATION. PLEASE READ THE FOLLOWING PARAGRAPHS CAREFULLY. WITH LIMITED EXCEPTIONS, THIS ARBITRATION PROVISION ALLOWS EITHER PARTY TO REQUIRE THAT ANY DISPUTE THAT ARISE BETWEEN THE PARTIES BE RESOLVED BY BINDING ARBITRATION. ARBITRATION REPLACES THE RIGHT TO GO TO COURT AND TO HAVE A CLAIM DETERMINED BY A JURY, COURT-ORDERED DISCOVERY, AND JUDICIAL APPEAL, EXCEPT IN LIMITED CIRCUMSTANCES. SPECIFICALLY, YOU WILL NOT BE ABLE BRING A CLAIM AS A CLASS ACTION OR IN A REPRESENTATIVE CAPACITY OR PARTICIPATE IN A CLAIM AS A CLASS MEMBER.
16.1.1 In the event of any dispute of any nature between the parties to this Agreement, such dispute shall be settled by and through an arbitration proceeding to be administered by the American Arbitration Association (or any like organization successor thereto) in California accordance with the American Arbitration Association’s Commercial Arbitration Rules. Each of the parties to this Agreement hereby agrees and consents to such venue and waives any objection thereto. The arbitrability of any such dispute shall likewise be determined in such arbitration. Such arbitration proceeding shall be conducted in as expedited a manner as is then permitted by the commercial arbitration rules (formal or informal) of the American Arbitration Association. Both the foregoing agreement of the parties to this Agreement to arbitrate any and all such disputes, claims and controversies and the results, determinations, findings, judgments and/or awards rendered through any such arbitration shall be final and binding on the parties hereto and may be specifically enforced by legal proceedings. Notwithstanding any provision of this Agreement relating to which state laws govern this Agreement, all issues relating to arbitrability or the enforcement of the agreement to arbitrate contained herein shall be governed by the Federal Arbitration Act (9 U.S.C. §§ 1 et seq.) and the federal common law of arbitration.
16.1.2 Class Action Waiver. THE PARTIES WAIVE ANY RIGHT TO ASSERT ANY CLAIMS AGAINST THE OTHER PARTY AS A REPRESENTATIVE OR MEMBER IN ANY CLASS OR REPRESENTATIVE ACTION, EXCEPT WHERE SUCH WAIVER IS PROHIBITED BY LAW OR DEEMED BY A COURT OF LAW TO BE AGAINST PUBLIC POLICY. TO THE EXTENT EITHER PARTY IS PERMITTED BY LAW OR COURT OF LAW TO PROCEED WITH A CLASS OR REPRESENTATIVE ACTION AGAINST THE OTHER, THE PARTIES AGREE THAT: (I) THE PREVAILING PARTY SHALL NOT BE ENTITLED TO RECOVER ATTORNEYS’ FEES OR COSTS ASSOCIATED WITH PURSUING THE CLASS OR REPRESENTATIVE ACTION (NOT WITHSTANDING ANY OTHER PROVISION IN THIS AGREEMENT); AND (II) THE PARTY WHO INITIATES OR PARTICIPATES AS A MEMBER OF THE CLASS WILL NOT SUBMIT A CLAIM OR OTHERWISE PARTICIPATE IN ANY RECOVERY SECURED THROUGH THE CLASS OR REPRESENTATIVE ACTION.
16.2 Notwithstanding the foregoing, actions that exceed the authorized access under this Agreement are understood by the Parties to be prohibited by the Federal Computer Fraud and Abuse Act. Any action that exceeds the access granted hereunder may result in suspension or termination of the account, termination of this Agreement, actions for remedies in arbitration, and reference to law enforcement for criminal violations of this Agreement.
If Customer is a state agency, state instrumentality, or public university, then solely to the extent, and only to the minimum extent, required by applicable state or federal law:
17.1 Indemnification. Any provision of this Agreement requiring Customer to indemnify, defend, or hold harmless Harmonic does not apply to Customer to the extent Customer is prohibited by the laws governing it from providing indemnification.
17.2 Governing Law and Venue. Any provision specifying a governing law or venue other than the laws or courts of Customer’s state does not apply to Customer to the extent Customer is legally restricted from agreeing to such provisions. In such cases, the Agreement will be silent as to governing law and venue, and any disputes shall be resolved in a manner consistent with applicable state or federal law governing actions against Customer.
17.3 Arbitration. If Customer is legally prohibited from agreeing to binding arbitration, class-action waivers, or similar alternative dispute resolution mechanisms, then such provisions will not apply to Customer, and the Parties agree that the remaining terms of the Agreement will continue in full force to the extent permitted by law.
Except as expressly provided in this Section, all other terms of this Agreement remain in full force and effect.
No waiver is effective unless in writing. If any provision is unenforceable, it will be limited to the minimum extent necessary and the remainder will remain in force. You may not assign this Agreement without Harmonic’s prior written consent; Harmonic may assign freely. Notices to Harmonic must be sent to legal@harmonic.fun and to Harmonic’s corporate address posted on Harmonic’s website, and are deemed received when delivered. This Agreement (and any order page expressly incorporating it) is the parties’ entire agreement regarding the Services and supersedes all prior or contemporaneous agreements on the subject.