MDLUL/Negation (Z)