Create MoreLogic_J.v