Justification

There is no thing which does not exist. for N and term conjunction NWK N*a* → N*ab* (N-Weakening)
