Lists: Adds proofs for bags.