writing FML ok exept required