need a new command to list proofs to get this right