public static Proposition embedNegationWithinFunctionInducedExists(Proposition existsproposition) {
    Proposition.invertProposition(Proposition.predicateOfFunctionInducedExists(existsproposition));
    return (existsproposition);
  }