new command in progress: prove