finish Lists.v