negb$$z$
negb$$z$

negb$$z$