ProgramCrafter comments on Proposal on AI evaluation: false-proving