N2=: conjunction def '(