‘N>>NIL_4’ constraint equation