docs: def literalize(self):
          """
          Return an expression where NOTs are only occurring as literals.
          """
          expr = self.demorgan()
          if isinstance(expr, self.__class__):
              return expr
          return expr.literalize()