add informal model