modify Lists_J.v