first commit and add Basics_J.v