proofs and conjectures

Could not connect to the API.