More list proofs