The issue isn’t just that the person can’t write a valid proof, but that the person thinks they have a valid proof, but it is actually invalid and they don’t have feedback to know it.