proved list add example