Comment by kurtis_reed

How do you know the natural language proof is incorrect?