Zato mora biti ta razumljiv, kar pomeni, da je izražen na način (v jeziku ali vizualno), ki je dovolj blizu našemu dojemanju, da lahko razmeroma preprosto opiše zapleten sistem. Sedanji programski jeziki temu pogoju ne zadostujejo (dovolj), saj moramo prebrati na milijone vrstic kode, da bi razumeli zahtevnejši program. Tretja zahteva je natančnost, saj je uporaben le model, ki točno izraža potek programa, ki ga modeliramo.