They contend that the expressiveness of the languages involved, as well as the complexity of the systems being modelled, make full formalization a difficult and expensive task.
Jie tvirtina, kad į tai įtrauktų kalbų ekspresyvumas, taip pat kaip modeliuojamų sistemų sudėtingumas, visišką formalizaciją padaro sudėtinga ir brangia užduotimi.