
@lastland0 For example, suppose an AI tool generates a specification for a program I have written, and I don't know whether my program is correct to begin with, nor whether the specification is what I want. It should not explain its specification directly