Input (grade 5): Not every conjecture ends up being proven true or false.
Output (grade 3): Not every conjecture can be proven true or false.