Input (grade 0): This was later proven to be false.
Output (grade 2): This was later proved to be untrue.