(In general there can be many return values for a single program, because the program could be nondeterministic, and even for a deterministic program there can be many computation sequences since the semantics may not specify exactly what sequence of operations arrives at that value.)
(Уопштено може бити много повратних вредности за један програм, јер би програм могао бити недетерминистичан; па чак и за детерминистички програм може бити много рачунских секвенци, јер семантика не може прецизно прецизирати који редосљед операција стиже при тој вриједности.)