So the types of errors in that paper could never lead a mathematician to make a claim about a Lean proof that was later found to be incorrect?