public static Proposition safelyInvertProposition(Proposition self) {
    { Proposition copy = Proposition.shallowCopyProposition(self);

      Proposition.invertProposition(copy);
      return (copy);
    }
  }