Is this what the prompt means by proof strength gap, or is that something else entirely? (Sorry not a mathematician.)