finished all the proofs from List.