Implemented some list procedures.