{ "name": "Proving non-conditional statements", "order": 7, "challenges": [ { "id": "59a5801209a6acac5983b604", "title": "If-and-only-If proof", "description": [ "" ], "challengeSeed": [ "" ], "tests": [ "" ] }, { "id": "59a5801209a6acac5983a921", "title": "Equivalent statements", "description": [ "" ], "challengeSeed": [ "" ], "tests": [ "" ] }, { "id": "59a5801209a6acac5983a922", "title": "Existence Proofs; Existence and Uniqueness Proofs", "description": [ "" ], "challengeSeed": [ "" ], "tests": [ "" ] }, { "id": "59a5801209a6acac5983a923", "title": "Constructive versus non-constructive proofs", "description": [ "" ], "challengeSeed": [ "" ], "tests": [ "" ] } ] }