for D being set holds PP_not (PP_True D) = PP_False D