Adding more to Lists.v