null[x] = [x = NIL -> T; T -> F]