let \1 : { 1 2 3 0 5} if \get(1 3) "" : 0 end if if \not(\equals(\get(1 4) 5)) 0 : "" end if