model partially written, first formulea inserted.