Justification

To be a non-non-*a* is the same thing as to be an *a*. for =, ' and term conjunction DIST *a*(*bc*)' = ((*ab'*)'(*ac*')')' (Distribution)
