That is what Socrates would do: he would quit only after he had fleshed out an idea and explored its implications. He wouldn’t just say, ‘Define envy for me,’ then, when his discourses interlocutor had ventured on a definition, say, ‘Wrong: your definiens is not extensionally equivalent to the definiendum.’