Ако[услов,објект]: дава копија на
објектот, ако услов е точен, а
недифинираниот објект ако услов е неточен.
Ако[услов,објект a,објект b]: дава копија на објектот a ако услов е точен, а
копија од објектот b ако услов е неточен.
EДефинирано[објект]: Се враќа точен или неточен во зависност од тоа
дали и двата објекти се дефинирани или не.
ЕЦелБрој[број]: Се враќа точен или неточен во зависност од тоа
дали броевите ќе бидат цели броеви или не.