@dd4ta @wtgowers What would that involve? Do you mean an explanation of how you go from "I think this might not be provable" to "this definitely can't be proved?"