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. Model mora biti tudi napovedljiv.