added MainModel.fs prototype