let file_for_goal ~gid prover = prove gid prover