I think they meant "Cannot evaluate : (is <undefined> like x ?), argument missing"

edit : Thinking is undefined, statements about undefined cannot be verified.

is a meta-level grammar the same as an object-level grammar?