Terms

In effect from 5 November 2026. This is the first version of these Terms.

These Terms, with Google’s use policy when you use the agent or its answers (see The agent), are the agreement between you and us (see Who we are) when you use synthetic.dev. If you buy Pro, what the checkout showed you before you paid is part of the agreement too, and where it and these Terms differ, whichever is better for you applies. Our Privacy page says what we do with your personal data.

You can save or print this page.

Who we are

Synthetic is run by Synthetic LLC, of 202, Park Front Shinjuku, 2-8-15 Shinjuku, Shinjuku City, Tokyo 160-0022, Japan (“we” and “us” in these Terms). Write to us at support@synthetic.dev, or call +81 90 6862 5422. We answer in English or Japanese. When you write about your account, write from its email address, or tell us how we can confirm the account is yours. Under the EU’s Digital Services Act, our email address and phone number are our single point of contact for users, and our email address is our single point of contact for authorities.

Authorities in the EU, the European Commission and the European Board for Digital Services can reach us at our email address above, in English.

Your account

You must be 18 or over to have an account, and you can’t have one if you live in Quebec or Alberta. If we learn you aren’t 18, we close your account, with a refund if you paid for Pro (see Refunds), and you can ask for a copy of what you made (see Taking your data with you). If we learn you live in Quebec or Alberta, we end the agreement with the notice Ending the agreement gives. You need an account to write in Synthetic, to ask the agent anything, and to buy Pro. You can sign up with an email address and a password, or with a Google or GitHub account. Whoever controls an account’s email address controls the account and everything in it, so sign up only with an address that’s yours and that you’ll keep. Once the address is confirmed, signing in with Google or GitHub with it joins the account and removes any password on it.

An account is for one user: don’t let anyone else use it. Keep your password to yourself, and tell us at once if you think someone else has used your account.

What Synthetic is

Synthetic is a service for doing mathematics online. It has a library of published papers you can browse without an account, documents to write your own mathematics in and to share with other users, where Lean, the open-source prover, can check what your formulas state and the proofs you write of them, and an AI agent you can ask questions and give tasks. Using Synthetic is free: the free plan is Synthetic as this section describes it, and you’re on it unless you buy Pro, our paid plan (see Pro).

To check a formula, you choose a reading of it, and Lean checks that it can state what that reading says. That check doesn’t prove the statement, or say whether it’s true. In a document you own or can edit, a check first commits the reading you chose, unless it’s already committed, and anyone who can read the document can see a committed reading. Once you’ve confirmed a reading, you can write a proof of it, and Lean checks the proof. When Lean accepts a proof, Synthetic says what it rests on, such as sorry, an axiom or a computation Lean trusts; a proof that uses sorry doesn’t prove the statement. Either check is of the statement as the reading says it, and whether the reading says what you meant is yours to confirm.

Synthetic has limits, the same for everyone on the same plan, such as on how often you can make requests, on how large what you send or keep can be, from a question or a reading sent to Lean to a document or a conversation, on how much you can ask the agent in a calendar month, which starts at 00:00 UTC on the 1st, whenever you bought Pro, and on how long the agent or Lean can work on one request, how much memory it can use and how much it can write. On the free plan, the agent can also turn down a question, or stop an answer, until midnight UTC, once what the free plan’s users have together asked of it that day reaches a limit Synthetic sets. When a limit stops something you asked for, Synthetic tells you, and nothing you’ve saved is lost: a change that would take a document past its limit isn’t saved, an answer or a check stops at the limit, and a conversation the agent can’t go on with, because it’s too long to read again or holds what can’t be sent to the model answering now, stays as it is; you can go on in a new one.

Synthetic runs in Chrome or Edge 144 or later, Firefox 139 or later, or Safari 17 or later, on a computer, an iPhone or an iPad, with JavaScript on.

We keep Synthetic up to date, including with security updates, for as long as we provide it to you. We work to keep it running, but it can be unavailable at times, for maintenance or because of a fault. That doesn’t take away your rights if it doesn’t work as it should (see Your legal rights).

The agent

The agent is an AI system, not a human. Google’s Gemini models write its answers from what you ask, and, if a document’s owner lets the agent read it, from that document, and the readings recorded of its formulas, when you ask from beside it, from one of its formulas, or in a task started beside it. An answer can be wrong, incomplete or made up, even when it reads as certain, so check it before you rely on it. How much you can ask it, its answers and its conversations have limits (see What Synthetic is).

Since its answers come from Google’s models, you must also follow Google’s Generative AI Prohibited Use Policy when you use the agent and its answers. A change to it that limits what you can ask the agent, or what you can do with its answers, is a change to this agreement, and binds you once it takes effect for this agreement (see Changes to Synthetic and to these Terms). Google’s models may decline to answer some questions.

The agent’s answers are marked, in a form machines can read, as made by an AI. Don’t remove or alter those marks on purpose, except where a legitimate purpose such as security testing or research needs it. Copying an answer as plain text, without the marks on the page, doesn’t break this rule.

What you write

What you write in Synthetic stays yours: your documents, your questions to the agent, the goals and notes you give its tasks, and the names you give your conversations with it. No other user can read your conversations or tasks, unless they control your account’s email address (see Your account). The same goes for your documents, until you share one: you can share a document you own with another user, by the email address their account has confirmed, to read it or to edit it. They can then read all of it, its history included, so also what you removed before you shared it, and an editor can change it. What they copy stays where they put it, even after you stop sharing or delete the document.

A document someone shares with you is theirs. What you write in it stays yours, but it joins the document’s history, so its owner, and the other users they share it with, can read it. It stays there after they stop sharing it with you, and after you close your account. It goes when they delete the document for good or close their account, so keep a copy of anything you need. If its owner lets the agent read it, what you write in it can go to Google’s Gemini API when someone asks from beside it, from one of its formulas, or in a task started beside it.

What the agent reads of a document, and what it writes after reading it, follows that document: we hide it from you while you can’t read the document, and remove it when that part of the document is removed for good, or the document is erased. You can’t go on in a conversation that has something hidden or removed, but you can start a new one. What you wrote yourself stays, except in a conversation started from a formula, which goes with its document, and so does what you copied into another document.

You let us store what you write, process it, show it to you and to the other users who can read the document it’s in, and send it to the providers who help us run Synthetic, such as Google’s Gemini API for the agent’s answers (see The agent). We use it only to run Synthetic for you and keep it secure, to act on reports and on these Terms (see Reporting content), and where the law requires it. We don’t use what you write to train AI models. Your permission lasts as long as we or those providers keep what you write, including a document’s history with what you’ve removed from it, copies in our backups, and what stays in documents other users own after this agreement ends (see our Privacy page).

The agent’s answers to you are yours to use, within the law and the rules for the agent above, and we claim no rights in them. An answer can resemble one given to another user, and it gives you no rights in anyone else’s work it draws on.

Only put into Synthetic what you have the right to use.

What you must not do

Don’t use Synthetic to:

Reporting content, and how we act on it

If you find something in Synthetic that you think is illegal, or that breaks these Terms, tell us at support@synthetic.dev. Say where it is (its address on synthetic.dev) and why you think it’s illegal or breaks these Terms, give your name and email address, and say that you believe your report is accurate and complete. A report about the sexual abuse or sexual exploitation of a child, child sexual abuse material, or grooming a child for sexual purposes, or inciting, helping or attempting any of these, doesn’t need your name: you can send it from any email address, or by phone. If you give us your email address, we’ll confirm we’ve received your report, and tell you what we decide and how you can challenge the decision.

We don’t monitor what you write. Google checks what the agent sends it, questions and documents alike, for breaches of its policy, with automated tools and its authorized staff, and its models may decline to answer some (see The agent). We look at what you write only when it’s reported to us, when we need to in order to fix a fault or keep Synthetic secure, when the law requires it, or when you ask us to, for example for help with your account. No automated tool of ours decides what happens to it. Synthetic’s limits (see What Synthetic is) apply automatically, so that Synthetic keeps working.

If you use Synthetic to break the law, or break these Terms, we may remove the content concerned, limit what your account can do, or suspend it; we may also close it (see Ending the agreement). What we do is in proportion to what happened, and takes your rights into account. Unless the law stops us, we’ll tell you what we did, when we do it, for how long, and why: what we found and whether someone reported it, the law or the rule in these Terms we relied on, and whether an automated tool was involved. If the content was in a document someone else owns, we tell its owner too. To challenge it, reply to our email within six months, saying why you think we got it wrong. A human, not an automated tool, reviews it, and we tell you what we decide and why. You can also go to court.

If we learn of something that suggests a crime threatening someone’s life or safety, we tell the police or other authorities promptly, with what we know.

In the United Kingdom, the Online Safety Act also applies. Anyone, whether or not they use Synthetic, can report content they think is illegal, as above. We take illegal content down as soon as we can once we know of it, and act first on terrorism content and child sexual exploitation and abuse content, then on other priority illegal content the Act names. We use no automated tool to find illegal content. If an intimate image of you is here without your consent, you or someone acting for you can report it: say so, say where it is and how to reach you, and say you make the report in good faith and believe it’s true. We take it down, and any copy we identify, within 48 hours, unless we consider it isn’t such an image or the report isn’t from you or for you. You can complain to us the same way about content you think is illegal, about a decision we made about your content or your account, or that we haven’t done what the Act asks of us; we confirm we’ve received it, and tell you what we decide and why.

To send a US copyright notice, write to us at support@synthetic.dev. We close the accounts of users who repeatedly infringe copyright.

Pro

Pro is our paid plan. Settings → Billing says whether Pro is on sale where you live and, if it is, what it adds. The confirmation we email when you buy it says what it adds too. When Pro ends and your account stays open, what you’ve made in it stays too, and you go on with the free plan. If Pro ends during a calendar month, what you’ve already asked that month counts against the free plan’s allowance until the 1st.

Buying it

To buy Pro, you need a confirmed email address, since we email the confirmation of your purchase to it. An account can hold one Pro subscription at a time, bought through the checkout. A second subscription, or one paid without the checkout’s record of what you agreed to, we end, with a refund (see Refunds). Open Settings → Billing and say where you live: the checkout says where Pro is on sale before it asks. It then shows the order summary: the price, with any tax, how renewal works, and, where you have one, your right to withdraw. Enter your card, or pay with Link, Stripe’s service that saves your payment details, and check the box agreeing to renewal. Where you have a right to withdraw, also check the box asking for Pro to start before the 14 days are over. Then press Pay now.

Until you press Pay now, you can change where you said you live, your card details and the boxes, and nothing is charged. The contract is made when your payment goes through.

We keep a record of what the checkout showed you and what you agreed to. The confirmation we email you (see When Pro starts) includes a copy of it, with these Terms as they stood when you agreed to them. The checkout and these Terms are in English.

Price and payment

Pro costs what the checkout shows, with any tax it shows for where you live, charged in the currency shown. Every buyer pays what a consumer pays there, businesses included: the checkout doesn’t take a tax number. If your card is in another currency, your bank converts the amount and may charge a fee. Stripe processes payments for us (stripe.com). If a charge was made without your authority, tell us, and we look into it; you can also ask your card issuer to reverse it. A change to Pro’s price follows Changes to Synthetic and to these Terms.

When Pro starts

Pro starts when we email you the confirmation of your purchase, usually within seconds of your payment going through. If we can’t send it within 24 hours of your payment, we end the subscription, with a refund (see Refunds).

Renewal

Pro renews automatically every month until you cancel, and each renewal is charged to the card or Link account you pay with, which you can change in Settings → Billing. Settings → Billing shows the date of the next charge. There’s no minimum term.

A fall in Pro’s price needs nothing from you. A new price comes with the email in Changes to Synthetic and to these Terms. A change in the tax where you live isn’t a change in Pro’s price: each renewal charges the tax that applies when it’s charged. If a renewal is drawn directly from a bank or prepaid account in the United States or one of its territories, as with a debit card, and will charge a different amount from the last one, we email you the amount and the date at least 10 days before. If you move, tell us: your renewals are then taxed where you live, or, if Pro isn’t on sale there, Pro ends when the month you’ve paid for ends.

If a payment fails

If a renewal’s payment fails, Stripe emails you and may try the payment again, and Pro keeps working for 7 days from the first failure. Meanwhile, you can change your card in Settings → Billing, or confirm the payment there if your bank is holding it for you to confirm. If the payment still hasn’t gone through after the 7 days, Pro stops. When Stripe stops trying, at about the same time, the subscription ends, and you owe nothing for that renewal. Until then, paying through the link in Stripe’s email brings Pro back. If a payment goes through after the subscription has ended, you get a refund (see Refunds).

Canceling

You can cancel at any time, for free, with Cancel subscription in Settings → Billing, or by writing to us. Pro then keeps working until the end of the month you’ve paid for. Cancel before that month ends, and nothing more is charged. Until then, Resume undoes the cancel.

If you cancel while Pro is waiting to start (see When Pro starts), the subscription ends from when you told us, with a refund (see Refunds). If you cancel while a renewal’s payment hasn’t gone through (see If a payment fails), the subscription and Pro end from when you told us, and nothing more is charged.

Canceling isn’t withdrawing: if you can still withdraw from the purchase, withdrawing ends Pro from when you told us, with a refund (see Withdrawing from a purchase).

Refunds

We refund you:

Otherwise there’s no refund for the unused part of a month.

We refund to the card or Link account you paid with. If a refund can’t be made to it, we email you and pay you another way you agree to, at no cost to you. If you dispute a payment with your bank, your bank’s decision settles it: we don’t refund that payment, or pay it another way, while the dispute is open, unless the law sets a date for that refund, as when you withdraw. Then, where we still can, we accept the dispute in time, so your bank pays you back. When it closes, we refund without undue delay whatever of it we still owe you.

Withdrawing from a purchase

If you live in the European Union, Iceland, Liechtenstein, Norway, the United Kingdom or Gibraltar when you buy Pro, you can withdraw from the purchase within 14 days, as the checkout told you. The law gives this right to consumers who live there, and we give it to every buyer who does. Below are the instructions EU law sets out, and a form you can use.

In Ireland, the United Kingdom and Gibraltar, the law calls this the right to cancel. In the United Kingdom and Gibraltar, it works the same way, except that any clear statement of your decision is enough, and if you withdraw online, with Withdraw from contract here (see Right of withdrawal), we send you our acknowledgment without delay. Each of the three has its own form, after the EU’s. Elsewhere in these Terms, “canceling” means canceling the subscription as Canceling describes, not using this right.

Right of withdrawal

You have the right to withdraw from this contract within 14 days without giving any reason. The withdrawal period will expire after 14 days from the day of the conclusion of the contract.

To exercise the right of withdrawal, you must inform us (Synthetic LLC, 202, Park Front Shinjuku, 2-8-15 Shinjuku, Shinjuku City, Tokyo 160-0022, Japan, +81 90 6862 5422, support@synthetic.dev) of your decision to withdraw from this contract by an unequivocal statement (e.g. a letter sent by post or email). You may use the model withdrawal form below, but it is not obligatory.

You can also exercise your right of withdrawal online at synthetic.dev/settings/billing, with Withdraw from contract here. If you use this online feature, we will send you an acknowledgment of receipt of the withdrawal on a durable medium (e.g. by email), including its content and the date and time of its submission, without undue delay.

To meet the withdrawal deadline, it is sufficient for you to send your communication concerning your exercise of the right of withdrawal before the withdrawal period has expired.

Effects of withdrawal

If you withdraw from this contract, we shall reimburse to you all payments received from you, without undue delay and in any event not later than 14 days from the day on which we are informed about your decision to withdraw from this contract. We will carry out such reimbursement using the same means of payment as you used for the initial transaction, unless you have expressly agreed otherwise; in any event, you will not incur any fees as a result of such reimbursement.

If you requested to begin the performance of services during the withdrawal period, you shall pay us an amount which is in proportion to what has been provided until you have communicated us your withdrawal from this contract, in comparison with the full coverage of the contract.

You asked for Pro to start before the 14 days were over when you checked the box at checkout. So if you withdraw, we keep a share of what you paid for the time Pro was working before you told us, in proportion to the month, and refund the rest (see Refunds). You can no longer withdraw once Pro has been fully provided, which for a month of Pro can’t happen within the 14 days. Withdrawing ends Pro and the subscription.

Model withdrawal form, for the rest of the EU, Iceland, Liechtenstein and Norway

(Complete and return this form only if you wish to withdraw from the contract.)

To Synthetic LLC, 202, Park Front Shinjuku, 2-8-15 Shinjuku, Shinjuku City, Tokyo 160-0022, Japan, support@synthetic.dev:

I/We (*) hereby give notice that I/We (*) withdraw from my/our (*) contract for the provision of the following service: Pro.

Ordered on:

Name of consumer(s):

Address of consumer(s):

Signature of consumer(s) (only if this form is notified on paper):

Date:

(*) Delete as appropriate.

Model cancellation form, for Ireland

[Complete and return this form only if you wish to cancel the contract.]

To Synthetic LLC, 202, Park Front Shinjuku, 2-8-15 Shinjuku, Shinjuku City, Tokyo 160-0022, Japan, support@synthetic.dev:

I/We [*] hereby give notice that I/we [*] cancel my/our [*] contract for the provision of the following service: Pro.

Ordered on:

Name of consumer(s):

Address of consumer(s):

Signature of consumer(s) [only if this form is notified on paper]:

Date:

[*] Delete as appropriate.

Model cancellation form, for the United Kingdom

To Synthetic LLC, 202, Park Front Shinjuku, 2-8-15 Shinjuku, Shinjuku City, Tokyo 160-0022, Japan, support@synthetic.dev:

I/We [*] hereby give notice that I/We [*] cancel my/our [*] contract for the supply of the following service: Pro.

Ordered on:

Name of consumer(s):

Address of consumer(s):

Signature of consumer(s) (only if this form is notified on paper):

Date:

[*] Delete as appropriate.

Model cancellation form, for Gibraltar

To Synthetic LLC, 202, Park Front Shinjuku, 2-8-15 Shinjuku, Shinjuku City, Tokyo 160-0022, Japan, support@synthetic.dev:

I/We [*] hereby give notice that I/We [*] cancel my/our [*] contract for the provision of the following service: Pro.

Ordered on:

Name of consumer(s):

Address of consumer(s):

Signature of consumer(s) (only if this form is notified on paper):

Date:

[*] Delete as appropriate.

Your legal rights

If you’re a consumer, the law where you live gives you rights that these Terms can’t take away, and nothing in them limits those rights. The terms these Terms set only for business users, on our responsibility and on courts, apply only if you use Synthetic for your business.

Changes to Synthetic and to these Terms

Synthetic changes as we build it: we add features, change them, and sometimes remove them. We make changes to improve Synthetic, to keep it secure, to follow the law, to keep what it costs us in check, or because a provider we rely on changes what it offers or what it charges. A change never costs you extra during a month you’ve paid for.

We may change this agreement when the law changes, when Synthetic or what it costs us changes, or to make it clearer. The terms we may change this way are what Pro and the free plan include, Pro’s price, what these Terms say about how Synthetic works and how we act on reports, any term a change in the law requires us to change, and, only in a way that doesn’t add to what you owe or take away from what we owe you, what these Terms say about canceling, withdrawing and refunds (see Refunds), and any other term, only to make it clearer without changing what it means. Google’s use policy, as it applies to the agent, changes as Google changes it (see The agent). We publish each new version of these Terms here, with the date it takes effect, and send you any earlier version of them, or of Google’s use policy as it applied to this agreement, if you ask.

While you have Pro, we email you 30 days before any change to this agreement takes effect: a change to these Terms, to what Pro includes, to Pro’s price, or to Google’s use policy that limits what you can ask the agent or do with its answers (see The agent). A new price takes effect for you at a renewal, so our email comes 30 days before that renewal. We don’t email you about a fix to wording that doesn’t change what a term means. Apart from a change the law requires, one a provider we rely on makes, or one that only adds to what you can do, we propose changes to this agreement at most once a month.

On the free plan, a change to what the plan includes, or to Google’s use policy, takes effect when we say. If it makes the plan worse for you, more than slightly, such as a lower limit, we tell you first, by email or in Synthetic, as far ahead as we reasonably can. We email you 30 days before any other change to this agreement that adds to what you owe or takes away from what we owe you. Any other change takes effect the day after we publish it here, with its date, and we tell you of any that’s significant.

A change to Synthetic that makes it worse for you, more than slightly, is a change to what your plan includes. Where the law where you live asks for more, such as your agreement to a change or notice of every change, a change binds you only once we’ve done what it asks.

If a provider we rely on forces on us, with less notice, a change we’d otherwise email you 30 days before, we email you as soon as we know, and the change takes effect for this agreement 30 days after that email (see Refunds for the days between). That email, and each one we send 30 days before a change, gives the new text, and says what the change means for you, when it takes effect, how to agree to it, leave over it or cancel, and what happens if you do nothing, and, for a new price, the amount and date of the first renewal at it.

If you live in the European Union, Iceland, Liechtenstein, Norway, the United Kingdom, Ontario or British Columbia, or did when you bought Pro, as you told us at the checkout or since, a change that makes Pro worse for you, more than slightly, or raises its price needs your agreement: we ask for it, and if you haven’t agreed by the day the change takes effect, your subscription ends that day (see Refunds). If you don’t agree to any other change to this agreement, including, elsewhere, one that makes Pro worse for you, more than slightly, or raises its price, you can close your account at any time. If you have Pro, you can end it over that change within 30 days of the email or of the change, whichever is later, by writing to us or by closing your account. We end Pro from when you told us, with a refund (see Refunds).

Ending the agreement

You can stop using Synthetic at any time. To close your account, write to us: we close it, which ends this agreement, and email you when we have. Closing it at your request deletes your account and what you’ve made in it, your documents with what others wrote in them included, as our Privacy page describes. What you’ve written, committed or confirmed in documents other users own stays in them; if something there names you, write to us. We keep what the law requires and what we need for a legal claim, such as the record of a purchase. If you have Pro, we cancel it as soon as you ask, so nothing more is charged, and closing your account then ends it, with a refund only where Refunds gives one (see Refunds). So if you can still withdraw from the purchase, withdraw first (see Withdrawing from a purchase); otherwise you may prefer to cancel Pro first and close the account when the month ends.

We may end this agreement, and close your account, for a good reason, such as our stopping Synthetic, by emailing you 30 days’ notice that says why. We may stop offering Pro the same way, with the same notice: your subscription renews until the notice runs out, then stops, and ends when the last month you’ve paid for ends. We may close your account sooner if you seriously or repeatedly use Synthetic to break the law, or break these Terms (see Reporting content), and we end Pro or close your account sooner where the law requires it, telling you why unless the law stops us. Whenever we end Pro before the month you’ve paid for ends, you get a refund (see Refunds).

Taking your data with you

You can ask us for a copy of what you have in Synthetic at any time, without notice, to keep or to take to another service: your documents, those in Recently deleted included, with their titles, their history, your readings of their formulas, your commitments to them and confirmations of them, and Lean’s checks of your readings and proofs; the documents others share with you, as you can read them when we make the copy, with your readings and checks in them; your conversations with the agent, with the names you’ve given them and your votes; your tasks, with their goals, plans, results and your notes; and your settings, such as whether the agent may read your documents. It leaves out only our own instructions to the agent’s model, anything we removed as illegal, what you wrote in documents no longer shared with you, which we send you if you ask, and, while you can’t read a document, what the agent read or wrote from it.

We’ll send it within 30 days of your request, free, in a structured, common format a computer can read, such as JSON, with the agent’s answers marked as made by an AI, and you’ll be able to download it for at least 30 days. While we prepare it, Synthetic keeps working as before, we help you move your data if you ask, we tell you of anything we know that could interrupt that, and we keep your data secure. You can ask once for more time to move your data, as much as you need: we send the copy when you say, and the 30 days to download, and any closing you’ve asked for, count from then.

If you also want your account closed, say so: if you have Pro, we cancel it then, so nothing more is charged (if you can still withdraw from the purchase, withdraw instead: see Withdrawing from a purchase), and we close the account when the 30 days to download the copy are over, and email you when we have.

If we close your account ourselves, you’ll have 30 days after we close it to ask for your copy, and we keep your data until then and, if you ask, until we’ve sent it. We then delete it as we do when you ask us to close your account (see above).

Our servers are in Japan, at Google Cloud, a US company, so US law may reach them too. Your questions to the agent, and what it reads of your documents, also go to Google’s Gemini API, which may store them in any country where Google or its agents have facilities. Our Privacy page says where each provider keeps your data, and which countries’ law reaches it. We give data to a government only when the law requires it, or to protect someone’s life or safety (see Reporting content).

Our responsibility

If we break this agreement, or don’t use reasonable care and skill, we’re responsible for the loss or damage you suffer that was a foreseeable result. We’re not responsible for loss or damage that wasn’t foreseeable.

Nothing in these Terms limits our responsibility for death or personal injury caused by our negligence, for fraud, for what we do on purpose or with gross negligence, or for anything else the law doesn’t let us limit, including your rights as a consumer.

If you use Synthetic for your business, we’re not responsible to you for lost profit, business or opportunity, and, apart from the cases in the paragraph above, our total responsibility to you is limited to what you paid us in the 12 months before the claim.

Law, courts and complaints

Japanese law governs this agreement. If you’re a consumer, you also keep the protection that the law where you live gives you and an agreement can’t take away (see Your legal rights), and you can bring a claim in the courts there. We can bring a claim against you only in those courts. If you use Synthetic for your business, only the Tokyo District Court can hear a claim between us, unless the law where you are gives you its courts.

If you have a complaint, about anything, your personal data included, write to us at support@synthetic.dev. We’ll confirm we’ve received it, and reply as soon as we can.

General