I still don’t understand NIL constraints