Last Modified: June 17, 2026
This is a binding agreement ("Agreement") between (i) you and the entity you represent (collectively "Customer," "you," or "your") and (ii) Concordance Inc. dba Harmonic ("Harmonic," "we," or "us"). This Agreement governs your access to and use of the Services (as defined below). 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.
Account Credentials means the usernames, passwords, multi-factor authentication tokens, API keys, session tokens, and any other security credentials used to authenticate users to and access the Services.
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).
Aggregated Statistics means data and information related to Customer's use of the Services that Harmonic retains or 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.
Customer Data means AI Customer Input and AI Customer Output. Customer Data excludes Aggregated Statistics and Harmonic Materials.
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 and biases, prompts, safety systems, and datasets), Harmonic's software, websites, documentation, and all modifications, enhancements, and derivative works thereof, together with all related intellectual property in any of the foregoing. Harmonic Materials includes Aggregated Statistics.
Law means any applicable federal, state, local, or foreign law, statute, regulation, rule, ordinance, decree, judgment, or order of any governmental authority.
Parties means all individuals and entities bound by this Agreement, including us, you and the entity you represent.
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 a similar term under applicable Law.
Privacy Policy means Harmonic's privacy policy ("Harmonic Privacy Policy") as updated from time to time and incorporated into this Agreement by reference pursuant to Section 7.2.
Services means Aristotle, the web interface, command line interface, API and all related products and services provided by Harmonic of any kind or nature.
Term means the period beginning on the date you accept this Agreement or first access or use the Services (whichever occurs first) and continuing until this Agreement is terminated under Section 13.
Training (and Train) means training, pre-training, retraining, fine-tuning, instruction-tuning, alignment, reinforcement learning (including RLHF/RLAIF), model distillation, evaluation dataset creation, calibrating, testing, validating, labeling or scoring for model improvement, embedding model training, or any other method intended to develop, improve, validate or test 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 to submit AI Customer Input and receive AI Customer Output. In using the Services, you shall comply with this Agreement, all applicable Laws and any documentation, guidelines, or policies Harmonic makes available to you.
2.2 Account Credentials. You shall maintain the security of all credentials used to access the Services, including Account Credentials (which include usernames, passwords, multi-factor authentication methods, and API keys). You are responsible for all activities that occur under your account or Account Credentials, whether or not authorized by you. Each Authorized User shall maintain separate credentials. You shall not, and shall not allow any Authorized User to, share Account Credentials with any other individual or entity, including within your organization. Harmonic may revoke or rotate API keys at any time.
2.3 HTTPS Only. You shall access the Services exclusively over TLS/HTTPS or via web or other applications provided by Harmonic; 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 in part), or revoke your Account Credentials, if Harmonic believes (in its sole discretion): (a) there is a security issue or threat to the Services; (b) you or an Authorized User is accessing or using the Services in violation of this Agreement or Law; (c) an unauthorized user is accessing or using the Services with your Account Credentials; (d) your account is delinquent; (e) provision of Services is prohibited by Law; or (f) a third-party provider on which the Services depend suspends or limits service.
You shall not, and shall cause your Authorized Users not to, directly or indirectly (including through any activities involving a third party):
a. copy, modify, translate, or create derivative works of the Services;
b. resell, rent, lease, (re)distribute, or otherwise make available the Services to third parties;
c. reverse engineer, decompile, disassemble, "jailbreak," or attempt to extract Training data, model weights, parameters, or underlying source code, or otherwise seek to derive the Services' internal workings, parameters, or design;
d. access or use the Services or any AI Customer Output for Data Generation;
e. access or use the Services or any AI Customer Output to develop, Train any competing or substantially similar product or service (including any artificial intelligence model or machine learning system);
f. use web scraping, data harvesting, or bulk export, or other automated or non-human means or tools, intended, in each case, to extract content from the Services in any manner that we consider (in our sole discretion) excessive or abusive;
g. bypass, disable, or interfere with, or attempt to bypass, disable, or interfere with, Service rate limits, quotas, safety filters, or content/source citations;
h. submit, including as AI Customer Input, any Personal Information or regulated data (including protected health information (PHI), payment card industry (PCI) information, sensitive identifiers, or children's data), or any data you do not have the legal right to submit;
i. misrepresent your location, identity, or affiliation (including by impersonating any individual or entity);
j. access or use the Services for unlawful, fraudulent, obscene, harmful, deceptive, or high-risk purposes (including in connection with medical diagnosis, critical infrastructure, or autonomous decision-making without sufficient human review);
k. remove or obscure proprietary notices or use Harmonic's names, logos, marks, or other indicia of origin without prior written permission from Harmonic;
l. access or use the Services to violate any individual's or entity's rights, including any intellectual property, privacy, publicity, or contractual rights;
m. share Account Credentials with any individual or entity, use another individual's or entity's credentials, or maintain concurrent sessions in excess of any limits established by Harmonic;
n. circumvent, interfere with, disable, deactivate, thwart, or compromise, or attempt to circumvent, interfere with, disable, deactivate, thwart, or compromise, any access controls, usage limits, or security mechanisms applicable to the Services;
o. threaten, harass, abuse, or harm any individual or entity, or promote or cause self-harm, discrimination or harassment;
p. send bulk communications, spam, or other unsolicited messages;
q. take or attempt any action that imposes an unreasonable or disproportionately large load on the Services or otherwise interferes with their performance or availability; or
r. transmit or introduce any viruses, worms, spyware, ransomware, malware, or other harmful code or software routines that facilitate or cause unauthorized access to, or disruption, impairment, disablement, encryption, unavailability or destruction of, the Services or our data (including Harmonic Materials), or any data of other users of the Services.
4.1 Account; Personnel. You are responsible for your accounts, systems, and Authorized Users' compliance with this Agreement.
4.2 Human Review; Validation. Harmonic is not responsible for, and does not guarantee, the validity or accuracy of the AI Customer Output. 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 and access to such services 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 governing the use of or access to 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. To the extent that ownership of any right, title, or interest in or to any Harmonic Materials is, by operation of Law (including pursuant to Arkansas Code Section 18-4-101(a)) or otherwise, assigned or allocated to you, including as a result of your use of the Services or provision of AI Customer Input to us or the Services, you hereby irrevocably assign, transfer, and convey to Harmonic all right, title, and interest in and to such Harmonic Materials (including as provided in Arkansas Code Section 18-4-101(a)(2)(B)).
5.2 License from Customer to Harmonic. You hereby grant Harmonic an irrevocable, perpetual, worldwide, non-exclusive, transferable, sublicensable, royalty-free license to use, host, reproduce, and process Customer Data and related metadata to provide, maintain, develop, and improve the Services, to provide AI Customer Output to you, to comply with applicable Law, to enforce this Agreement, and to keep the Services safe and secure. Harmonic may use, and the foregoing license includes the right for Harmonic to use, Customer Data to Train the Aristotle models and other Harmonic products and services; however, you may opt your Customer Data out of Training Harmonic's models on a going-forward basis by toggling the applicable setting in your account. Opting out will be effective as of the date and time of such opt-out and will not apply to any Customer Data already submitted prior to the opt-out taking effect. With your prior written consent, Harmonic may use Customer Data or excerpts thereof in Harmonic's marketing or promotional materials. Any use or disclosure of Customer Data by Harmonic is governed by the Privacy Policy then in effect.
5.3 Aggregated Statistics. Aggregated Statistics shall not be considered your Confidential Information or Customer Data, and Harmonic may use and disclose Aggregated Statistics for any purpose.
5.4 Restrictions on Your Use of Outputs. As between you and Harmonic, and to the extent permitted by applicable Law, you (a) retain your ownership rights in AI Customer Input and (b) own AI Customer Output. Harmonic hereby assigns to you all of Harmonic's right, title, and interest, if any, in and to AI Customer Output. The foregoing assignment does not limit Harmonic's ownership of Harmonic Materials as set forth in Section 5.1. Due to the nature of the Services, AI Customer Output may not be unique and other customers may receive similar output; the foregoing assignment does not extend to output provided to or owned by other customers or third parties. You may incorporate AI Customer Output into open-source or academic projects where they are naturally used, modified, or redistributed, even if such AI Customer Output is later included in datasets used for Training, provided that you do not access or use the Services or AI Customer Output in violation of this Agreement (including Section 3(e)).
5.5 Feedback. We appreciate your feedback, and you hereby agree that we may use any feedback, suggestions, or ideas you provide regarding the Services without restriction or compensation to you.
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 shall maintain the confidentiality of the disclosing Party's Confidential Information and shall protect it using all reasonable measures. Confidential Information excludes information that is publicly available (through no act or omission of the receiving Party), already known (through no act or omission of the receiving Party), independently developed (without reference to any of the disclosing Party's Confidential Information), or rightfully obtained from a third party without duty of confidentiality. The receiving Party may disclose Confidential Information to the extent required by Law (with prompt notice, to the maximum extent permitted by Law).
7.1 Limitation on Processing Personal Information. The Services are not designed to process Personal Information. You shall not submit Personal Information to the Services. In the event Personal Information is processed in connection with the Services, Harmonic's collection and use of that Personal Information and information about your account and usage is described in Harmonic's Privacy Policy, as updated from time to time.
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, this Section 7.2 applies to the Personal Information you share with us. Under the General Data Protection Regulation and similar extraterritorial legislation (collectively, "GDPR"), we have provided the information required by the GDPR to you in the Privacy Policy. The Privacy Policy is hereby incorporated by reference into this Agreement.
Harmonic does not guarantee any specific functionality or any uptime or provide any 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 notify you before any fees take effect. Harmonic may suspend the Services for non-payment of any required fees.
10.1 Mutual Warranties. Each of the Parties hereby represents and warrants to the other Party that (a) such Party has all requisite 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, and (c) this Agreement will not result in a violation of (i) any terms or conditions of any agreements (including any license agreements) to which such Party is a party or by which such Party may otherwise be bound or (ii) any applicable Law.
10.2 Customer 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 or submitting to us; and (c) you will comply with all applicable Law and contractual obligations (including any license agreements) to which you are bound in connection with your use of 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, 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, UNBIASED, AVAILABLE, OR SUITABLE FOR ANY PARTICULAR USE, OR THAT ERRORS WILL BE CORRECTED. AI CUSTOMER OUTPUT MAY BE INCORRECT OR UNSAFE (ESPECIALLY IF USED WITHOUT HUMAN REVIEW), MAY BE SIMILAR TO OUTPUT PROVIDED TO OTHERS, AND MAY NOT BE ELIGIBLE FOR IP PROTECTION.
You shall defend, indemnify, and hold harmless Harmonic and its affiliates, officers, directors, contractors, 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 or AI Customer Output; (c) any breach of this Agreement by your or your Authorized Users, or (d) your applications or services that use the Services. Harmonic will promptly notify you of the claim (the failure of which, to the extent it does not prejudice Customer, shall not relieve Customer from any obligation under this Section 11).
TO THE MAXIMUM EXTENT PERMITTED BY LAW, HARMONIC SHALL 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 OF ANY OF THE FOREGOING. HARMONIC'S AGGREGATE LIABILITY ARISING OUT OF OR RELATING TO THIS AGREEMENT SHALL 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 $1,000. The foregoing shall not limit liability to the extent prohibited by applicable 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. You are free to terminate this Agreement at any time (subject to payment of any fees accrued prior to termination). Harmonic reserves the right to suspend or terminate your access to the Services or this Agreement (in whole or in part) if Harmonic determines (in its sole discretion): (a) you breached this Agreement; (b) Harmonic must do so to comply with applicable Law; or (c) your use of the Services could cause risk or harm to Harmonic, its users, or anyone else. Harmonic may also terminate your account and this Agreement if your account has been inactive for over one year; if Harmonic does so, Harmonic shall provide you with advance notice. If you believe Harmonic has suspended or terminated your account in error, you may contact Harmonic at aristotle@harmonic.fun.
13.3 Effect of Termination. Upon termination, your rights under this Agreement end and you shall immediately stop accessing and 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 1, 3-6, 9, 10.3, 11, 12, 13.3, and 14-18 shall 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 of the modified Agreement. If you do not agree, stop using the Services and cancel your account before the effective date of applicable modification(s).
You shall comply with all U.S. and other applicable export and sanctions Laws. You shall not export or provide access to the Services to embargoed countries, prohibited end users, or for prohibited end uses.
16.1 Governing Law. This Agreement shall be governed under the laws of the State of California without regard to the conflict of laws provisions thereof.
16.2 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 ARISES 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 SHALL NOT BE ABLE TO BRING A CLAIM AS A CLASS ACTION OR IN A REPRESENTATIVE CAPACITY OR PARTICIPATE IN A CLAIM AS A CLASS MEMBER.
16.2.1 Any dispute of any nature between the Parties in connection with this Agreement shall be settled by and through an arbitration proceeding to be administered by the American Arbitration Association (or any like organization successor thereto) in Santa Clara County, California in accordance with the American Arbitration Association's Commercial Arbitration Rules. Each of the Parties 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. Both the foregoing agreement of the Parties 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 and may be specifically enforced by legal proceedings in any court of competent jurisdiction. 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 case law interpreting it.
16.2.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: (A) 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 (B) THE PARTY WHO INITIATES OR PARTICIPATES AS A MEMBER OF THE CLASS SHALL NOT SUBMIT A CLAIM OR OTHERWISE PARTICIPATE IN ANY RECOVERY SECURED THROUGH THE CLASS OR REPRESENTATIVE ACTION.
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 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 shall be silent as to governing law and venue, and any disputes shall be resolved in a manner consistent with applicable 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 shall not apply to Customer, and the Parties agree that the remaining terms of the Agreement shall continue in full force to the extent permitted by Law.
Except as expressly provided in this Section, all other terms of this Agreement shall remain in full force and effect.
No waiver is effective unless in writing. If any provision is unenforceable, it shall be limited to the minimum extent necessary and the remainder of the Agreement shall remain in force. You shall not assign this Agreement without Harmonic's prior written consent; Harmonic may assign freely. Any assignment of this Agreement in violation of this Section 18 shall be null and void ab initio. Notices to Harmonic shall be sent to aristotle.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. In this Agreement, references to "includes" and "including" shall be deemed to be followed, in each instance, by the words "without limitation."