Terms of Use

Welcome! These Terms of Use (the "Terms") explain your responsibilities as a user ("you" or the "user") of the Proofscape web site (the "Site"), so it is important that you read them before taking part in this collaborative project.

Proofscape is operated by the Royalroad Mathematics Foundation, Inc. ("we", "us", or "RMF"), a non-profit corporation whose mission is to promote the accessibility and appreciation of higher mathematics.

The rules and responsibilities governing your use of the Site are in many ways similar to those for sites like Wikipedia, and our Terms of Use have accordingly been adapted with modifications from those of the Wikimedia Foundation, to whom we are grateful for their pioneering work in free online access to knowledge. These Terms are therefore presented under the CC BY-SA 3.0 license, as theirs are. We emphasize however that RMF is not affiliated with the Wikimedia Foundation in any way, despite our adaptation of the text and formatting of their Terms of Use.

Overview

Proofscape provides a question-and-answer platform where users of this site can help each other to understand mathematical proofs. In order to facilitate this, Proofscape also houses a digital, graphical library of existing mathematics. Subject to these Terms, you can use Proofscape to view interactive diagrammatic representations of known theorems and proofs, to encode such representations, to request inference expansions from fellow users, and to provide the same. The Proofscape project (the "Project") consists both of building the digital library by encoding representations of known theorems and proofs, and of requesting and providing expansions on inferences within these proofs.

You are welcome to participate in the Proofscape Project as a reader or contributor, but you should follow the policies that govern the Site. Because the Site is dedicated to making content freely accessible to the public, all content you contribute must be available under a free license or in the public domain, or else count as fair use pursuant to 17 U.S.C. § 107.

Please be aware that you are legally responsible for all of your contributions, edits, and re-use of Proofscape content under the laws of the United States of America and other applicable laws (which may include the laws where you live or where you view or edit content). This means it is important that you use caution when posting content. In light of this responsibility, we have some rules about what you cannot post, most of which is either for your own protection or for the protection of other users like yourself. Please keep in mind that the content we host is for general informational purposes only, so if you need expert advice for a particular question, you should seek the help of a qualified professional (or professor, as the case may be). We also include other important notices and disclaimers, so please read these Terms of Use in their entirety.


1. Our Services

RMF provides the infrastructure and organizational framework that allows our users to build the Proofscape Project (the "Project") by contributing and editing content themselves. Therefore,

  1. We do not take an editorial role: Because the Project is collaboratively edited, all of the content that we host is provided by users like yourself, and we do not take an editorial role. This means that we generally do not monitor or edit the content of the Project, and we do not take any responsibility for this content. Similarly, we do not endorse any opinions expressed via the Site, and we do not represent or guarantee the truthfulness, accuracy, or reliability of any submitted community content. Instead, we simply provide access to the content that your fellow users have contributed and edited.
  2. You are responsible for your own actions: You are legally responsible for your edits and contributions on the Proofscape Project, so for your own protection you should exercise caution and avoid contributing any content that may result in criminal or civil liability under any applicable laws. For clarity, applicable law includes at least the laws of the United States of America. Although we may not agree with such actions, we warn editors and contributors that authorities may seek to apply other country laws to you, including local laws where you live or where you view or edit content. RMF generally cannot offer any protection, guarantee, immunity or indemnification.

2. Privacy Policy

We ask that you review the terms of our Privacy Policy, so that you are aware of how we collect and use your information. Because our services may be used by people all over the world, personal information that we collect may be stored and processed in the United States of America or any other country in which we or our service providers maintain facilities. By using our services, you consent to any such transfer of information outside your country.

3. Content We Host

  1. You may find some material objectionable or erroneous: Because we provide content that is produced or gathered by fellow users, you may encounter material that you find offensive, erroneous, misleading, mislabeled, or otherwise objectionable. We therefore ask that you use common sense and proper judgment when using our services.
  2. Our content is for general informational purposes only: The content we host is presented for general informational purposes only. It should not be taken as professional advice. Please seek independent professional counseling from someone who is licensed or qualified in the applicable area in lieu of acting on any information, opinion, or advice contained in the Site.

4. Refraining from Certain Activities

We happily welcome your participation in the Project, and encourage you to be civil and polite in your interactions with others in the community, to act in good faith, and to make edits and contributions aimed at furthering the goals of the Project.

Certain activities, whether legal or illegal, may be harmful to other users and violate our rules, and some activities may also subject you to liability. Therefore, for your own protection and for that of other users, you may not engage in such activities on the Site. These activities include:

Harassing and Abusing Others
  • Engaging in harassment, threats, stalking, spamming, or vandalism; and
  • Transmitting chain mail, junk mail, or spam to other users.
Violating the Privacy of Others
  • Infringing the privacy rights of others under the laws of the United States of America or other applicable laws (which may include the laws where you live or where you view or edit content);
  • Soliciting personally identifiable information for purposes of harassment, exploitation, violation of privacy, or any promotional or commercial purpose not explicitly approved by RMF; and
  • Soliciting personally identifiable information from anyone under the age of 18 for an illegal purpose or violating any applicable law regarding the health or well-being of minors.
Engaging in False Statements, Impersonation, or Fraud
  • Intentionally or knowingly posting content that constitutes libel or defamation;
  • With the intent to deceive, posting content that is false or inaccurate;
  • Attempting to impersonate another user or individual, misrepresenting your affiliation with any individual or entity, or using the username of another user with the intent to deceive; and
  • Engaging in fraud.
Committing Infringement
  • Infringing copyrights, trademarks, patents, or other proprietary rights under applicable law.
Misusing Our Services for Other Illegal Purposes
  • Posting child pornography or any other content that violates applicable law concerning child pornography;
  • Posting or trafficking in obscene material that is unlawful under applicable law; and
  • Using the services in a manner that is inconsistent with applicable law.
Engaging in Disruptive and Illegal Misuse of Facilities
  • Posting or distributing content that contains any viruses, malware, worms, Trojan horses, malicious code, or other device that could harm our technical infrastructure or system or that of our users;
  • Engaging in automated uses of the Site that are abusive or disruptive of the services and have not been approved by RMF;
  • Disrupting the services by placing an undue burden on the Site or the networks or servers connected with the Site;
  • Disrupting the services by inundating the Site with communications or other traffic that suggests no serious intent to use the Site for its stated purpose;
  • Knowingly accessing, tampering with, or using any of our non-public areas in our computer systems without authorization; and
  • Probing, scanning, or testing the vulnerability of any of our technical systems or networks unless all the following conditions are met:
  • such actions do not unduly abuse or disrupt our technical systems or networks;
  • such actions are not for personal gain (except for credit for your work);
  • you report any vulnerabilities to Proofscape developers (or fix it yourself); and
  • you do not undertake such actions with malicious or destructive intent.

Paid contributions without disclosure
These Terms of Use prohibit engaging in deceptive activities, including misrepresentation of affiliation, impersonation, and fraud. As part of these obligations, you must disclose your employer, client, and affiliation with respect to any contribution for which you receive, or expect to receive, compensation. You must make that disclosure in at least one of the following ways:
  • a statement on your profile page,
  • a statement on the module discussion page accompanying any paid contributions, or
  • a statement in the commit message accompanying any paid contributions.
Applicable law, or Site policies and guidelines, such as those addressing conflicts of interest, may further limit paid contributions or require more detailed disclosure.

We reserve the right to exercise our enforcement discretion with respect to the above terms.

5. Password Security

You are responsible for safeguarding your own password and should never disclose it to any third party.

6. Trademarks

Although you have considerable freedoms for re-use of the content on the Site, we ask that you please respect our trademarks. All Royalroad Mathematics Foundation trademarks belong to the Royalroad Mathematics Foundation, and any use of our trade names, trademarks, service marks, logos, or domain names must be in compliance with these Terms of Use and in compliance with our Trademark Policy.

7. Licensing of Content

To grow the commons of free knowledge and free culture, all users contributing to Proofscape are required to grant broad permissions to the general public to re-distribute and re-use their contributions freely, so long as that use is properly attributed and the same freedom to re-use and re-distribute is granted to any derivative works. Therefore we require that when necessary all submitted content be licensed so that it is freely reusable by anyone who cares to access it.

You agree to the following licensing requirements:

  1. Text to which you hold the copyright: When you submit text to which you hold the copyright, you agree to license it under:

    (Re-users may comply with either license or both.)

    The only exception is if the feature requires a different license. In that case, you agree to license any text you contribute under that particular license.

    Please note that these licenses do allow commercial uses of your contributions, as long as such uses are compliant with the terms.

  2. Attribution: Attribution is an important part of these licenses. When you contribute text, you agree to be attributed in any of the following fashions:
    1. Through hyperlink (where possible) or URL to the module to which you contributed (since each module has a version history that lists all authors and editors);
    2. Through hyperlink (where possible) or URL to an alternative, stable online copy that is freely accessible, which conforms with the license, and which provides credit to the authors in a manner equivalent to the credit given on the Site; or
    3. Through a list of all authors (but please note that any list of authors may be filtered to exclude very small or irrelevant contributions).
  3. Importing text: You may import text that you have found elsewhere or that you have co-authored with others, but in such case you warrant that the text is available under terms that are compatible with the CC BY-SA 4.0 license (or, as explained above, another license when exceptionally required by the feature)("CC BY-SA"). Content available only under GFDL is not permissible.

    You agree that, if you import text under a CC BY-SA license that requires attribution, you must credit the author(s) in a reasonable fashion. Where such credit is commonly given through version histories, it is sufficient to give attribution in the commit message, which is recorded in the version history, when importing the text. The attribution requirements are sometimes too intrusive for particular circumstances (regardless of the license), and there may be instances where the Proofscape community decides that imported text cannot be used for that reason.

  4. Non-text media: Non-text media on Proofscape are available under a variety of different licenses that support the general goal of allowing unrestricted re-use and re-distribution. When you contribute non-text media, you agree to comply with the requirements for such licenses.
  5. No revocation of license: Except as consistent with your license, you agree that you will not unilaterally revoke or seek invalidation of any license that you have granted under these Terms of Use for text content or non-text media contributed to the Proofscape Project or features, even if you terminate use of our services.
  6. Public domain content: Content that is in the public domain is welcome! It is important however that you confirm the public domain status of the content under the law of the United States of America as well as the laws of any other countries as required. When you contribute content that is in the public domain, you warrant that the material is actually in the public domain.
  7. Re-use: Re-use of content that we host is welcome, though exceptions exist for content contributed under "fair use" or similar exemptions under copyright law. Any re-use must comply with the underlying license(s).

    When you re-use or re-distribute a text page developed by the Proofscape community, you agree to attribute the authors in any of the following fashions:

    1. Through hyperlink (where possible) or URL to the page or pages that you are re-using (since each page has a version history that lists all authors and editors);
    2. Through hyperlink (where possible) or URL to an alternative, stable online copy that is freely accessible, which conforms with the license, and which provides credit to the authors in a manner equivalent to the credit given on the Project website; or
    3. Through a list of all authors (but please note that any list of authors may be filtered to exclude very small or irrelevant contributions).

    If the text content was imported from another source, it is possible that the content is licensed under a compatible CC BY-SA license but not GFDL (as described in “Importing text,” above). In that case, you agree to comply with the compatible CC BY-SA license and do not have the option to re-license it under GFDL. To determine the license that applies to the content that you seek to re-use or re-distribute, you should review the page footer, version history, and discussion page.

    In addition, please be aware that text that originated from external sources and was imported into the Project may be under a license that attaches additional attribution requirements. Users agree to indicate these additional attribution requirements clearly. Such requirements may appear for example in a banner or other notations pointing out that some or all of the content was originally published elsewhere. Where there are such visible notations, re-users should preserve them.

    For any non-text media, you agree to comply with whatever license under which the work has been made available. When re-using any content that we host, you agree to comply with the relevant attribution requirements as they pertain to the underlying license or licenses.
  8. Modifications or additions to material that you re-use: When modifying or making additions to text that you have obtained from the Project website, you agree to license the modified or added content under CC BY-SA 4.0 or later (or, as explained above, another license when exceptionally required).

    When modifying or making additions to any non-text media that you have obtained from a Project website, you agree to license the modified or added content in accordance with whatever license under which the work has been made available.

    With both text content and non-text media, you agree to clearly indicate that the original work has been modified. If you are re-using text content in a wiki, it is sufficient to indicate in the page history that you made a change to the imported text. For each copy or modified version that you distribute, you agree to include a licensing notice stating which license the work is released under, along with either a hyperlink or URL to the text of the license or a copy of the license itself.

8. DMCA Compliance

RMF wants to ensure that the content that we host can be re-used by other users without fear of liability and that it is not infringing the proprietary rights of others. In fairness to our users, as well as to other creators and copyright holders, our policy is to respond to notices of alleged infringement that comply with the formalities of the Digital Millennium Copyright Act (DMCA). Pursuant to the DMCA, we will terminate, in appropriate circumstances, users and account holders of our system and network who are repeat infringers.

However, we also recognize that not every takedown notice is valid or in good faith. In such cases, we strongly encourage users to file counter-notifications when they appropriately believe a DMCA takedown demand is invalid or improper. For more information on what to do if you think a DMCA notice has been improperly filed, you may wish to consult the Lumen website.

If you are the owner of content that is being improperly used on Proofscape without your permission, you may request that the content be removed under the DMCA. To make such a request, please email us at legal @ royalroadmath.org.

9. Third-party Websites and Resources

You are solely responsible for your use of any third-party websites or resources. Although Proofscape contains links to third-party websites and resources, we do not endorse and are not responsible or liable for their availability, accuracy, or the related content, products, or services (including, without limitation, any viruses or other disabling features), nor do we have any obligation to monitor such third-party content.

10. Management of the Site

In an unusual case, the need may arise to address an especially problematic user because of significant Project disturbance or dangerous behavior. In such cases, we reserve the right, but do not have the obligation to:

In the interests of our users and the Project, in the extreme circumstance that any individual has had his or her account or access blocked under this provision, he or she is prohibited from creating or using another account on or seeking access to the Project, unless we provide explicit permission. RMF will not ban a user from editing or contributing or block a user's account or access solely because of good faith criticism that does not result in actions otherwise violating these Terms of Use or other applicable policies.

RMF may also take action including but not limited to warning, investigating, blocking, or banning users who violate these policies. You agree to comply with the final decisions of RMF.

The blocking of an account or access or the banning of a user under this provision shall be in accordance with Section 11 of these Terms of Use.

11. Resolutions and Project Policies

RMF may release official policies from time to time. Some of these policies may be mandatory for the Project, and, when they are, you agree to abide by them as applicable.

12. Termination

Though we hope you will stay and continue to contribute to Proofscape, you can stop using our services any time. In certain (hopefully unlikely) circumstances it may be necessary for us (as described in Section 10) to terminate part or all of our services, terminate these Terms of Use, block your account or access, or ban you as a user. If your account or access is blocked or otherwise terminated for any reason, your public contributions will remain publicly available (subject to applicable policies), and, unless we notify you otherwise, you may still access our public pages for the sole purpose of reading publicly available content on Proofscape. In such circumstances, however, you may not be able to access your account or settings. We reserve the right to suspend or end the services at any time, with or without cause, and with or without notice. Even after your use and participation are banned, blocked or otherwise suspended, these Terms of Use will remain in effect with respect to relevant provisions, including Sections 1, 3, 4, 6, 7, 9-15, and 17.

13. Disputes and Jurisdiction

Highlighted for emphasis

We hope that no serious disagreements arise involving you, but, in the event there is a dispute, we encourage you to seek resolution by contacting RMF. If you seek to file a legal claim against us, you agree to file and resolve it exclusively in a state or federal court located in Albany County, New York. You also agree that the laws of the State of New York and, to the extent applicable, the laws of the United States of America will govern these Terms of Use, as well as any legal claim that might arise between you and us (without reference to conflict of laws principles). You agree to submit to the personal jurisdiction of, and agree that venue is proper in, the courts located in Albany County, New York, in any legal action or proceeding relating to us or these Terms of Use.

To ensure that disputes are dealt with soon after they arise, you agree that regardless of any statute or law to the contrary, any claim or cause of action you might have arising out of or related to use of our services or these Terms of Use must be filed within the applicable statute of limitations or, if earlier, one (1) year after the pertinent facts underlying such claim or cause of action could have been discovered with reasonable diligence (or be forever barred).

14. Disclaimers

Highlighted for emphasis

At RMF, we do our best to provide educational and informational content to a wide audience, but your use of our services is at your sole risk. We provide these services on an "as is" and "as available" basis, and we expressly disclaim all express or implied warranties of all kinds, including but not limited to the implied warranties of merchantability, fitness for a particular purpose, and non-infringement. We make no warranty that our services will meet your requirements, be safe, secure, uninterrupted, timely, accurate, or error-free, or that your information will be secure.

We are not responsible for the content, data, or actions of third parties, and you release us, our members, employees, and agents from any claims and damages, known and unknown, arising out of or in any way connected with any claim you have against any such third parties. No advice or information, whether oral or written, obtained by you from us or through or from our services creates any warranty not expressly stated in these Terms of Use.

Any material downloaded or otherwise obtained through your use of our services is done at your own discretion and risk, and you will be solely responsible for any damage to your computer system or loss of data that results from the download of any such material. You agree that we have no responsibility or liability for the deletion of, or the failure to store or to transmit, any content or communication maintained by the service. We retain the right to create limits on use and storage at our sole discretion at any time with or without notice.

Some states or jurisdictions do not allow the types of disclaimers in this section, so they may not apply to you either in part or in full depending on the law.

15. Limitation on Liability

Highlighted for emphasis

RMF will not be liable to you or to any other party for any direct, indirect, incidental, special, consequential or exemplary damages, including but not limited to, damages for loss of profits, goodwill, use, data, or other intangible losses, regardless of whether we were advised of the possibility of such damage. In no event shall our liability exceed fifty U.S. dollars (USD 50.00) in aggregate. In the case that applicable law may not allow the limitation or exclusion of liability or incidental or consequential damages, the above limitation or exclusion may not apply to you, although our liability will be limited to the fullest extent permitted by applicable law.

16. Modifications to these Terms of Use

Because it may be necessary to modify these Terms of Use from time to time, we will provide notice of such modifications via the Site. However, we ask that you please periodically review the most up-to-date version of these Terms of Use. Your continued use of our services after the new Terms of Use become official following the notice constitutes an acceptance of these Terms of Use on your part. For the protection of RMF and other users like yourself, if you do not agree with our Terms of Use, you cannot use our services.

17. Other Terms

These Terms of Use do not create an employment, agency, partnership, or joint venture relationship between you and us, the Royalroad Mathematics Foundation. If you have not signed a separate agreement with us, these Terms of Use are the entire agreement between you and us. If there is any conflict between these Terms of Use and a signed written agreement between you and us, the signed agreement will control.

You agree that we may provide you with notices, including those regarding changes to the Terms of Use, by email, or postings on the Site.

If in any circumstance, we do not apply or enforce any provision of these Terms of Use, it is not a waiver of that provision.

You understand that, unless otherwise agreed to in writing by us, you have no expectation of compensation for any activity, contribution, or idea that you provide to us, the community, or the Proofscape Project.

Notwithstanding any provision to the contrary in these Terms of Use, we (RMF) and you agree not to modify the applicable terms and requirements of any free license that is employed at Proofscape when such free license is authorized by these Terms of Use.

If any provision or part of a provision of these Terms of Use is found unlawful, void, or unenforceable, that provision or part of the provision is deemed severable from these Terms of Use and will be enforced to the maximum extent permissible, and all other provisions of these Terms of Use will remain in full force and effect.

Thank You!

We appreciate your taking the time to read these Terms of Use, and we are very happy to have you contributing to Proofscape and using our services.

These Terms of Use went into effect on January 1, 2016. They were adapted and modified from Wikimedia Foundation's terms of use and are likewise licensed under CC BY-SA 3.0. Royalroad Mathematics Foundation is not affiliated with the Wikimedia Foundation in any way.

Proofscape is operated by Royalroad Mathematics Foundation, Inc. User contributions are licensed under CC BY-SA 4.0.

By using this site you agree to the Terms of Use and Privacy Policy.