c ((Nub(B. :s c)
((N|mq(B: (Nn|mh(B.)s
(NMONGOLs