I notice in your negative example that Bob hasn’t only failed to give an invariant, but has failed to say anything at all about the nature of the difficulty that he believes is essential.
I notice in your negative example that Bob hasn’t only failed to give an invariant, but has failed to say anything at all about the nature of the difficulty that he believes is essential.