# A predictable choice

Hi everybody,

I suppose it is a question that has already been answered and I apologize but if
somebody could enlighten me anyway.

If I have a:

CONSTANT GETC(_)

and in the model if I have

GETC(x) <- CHOOSE y \in { A, NEWLINE, NULL } : TRUE

and if I launch TLC

then I always get NULL

why ?

--
FL