For point one, it seems like increasing access would still help. It takes a lot of skill to read a mathematical proof and know if it is relevant to an open the

For point one, it seems like increasing access would still help. It takes a lot of skill to read a mathematical proof and know if it is relevant to an open theorem, but making math publication public and searchable is still useful. Im bummed to hear about point 2. We are all ruled by law, and the courts are a branch of government. Its not encouraging to know the legal documents that are used to govern me are owned and copyrighted by a private organization.