Create user_logic.v