fatal+model+lem-1