Create MoreLogic.v