public static Skolem getSkolemAndValueTerms(Proposition proposition, Object [] MV_returnarray) {
    { Stella_Object term1 = (proposition.arguments.theArray)[0];
      Stella_Object term2 = (proposition.arguments.theArray)[1];

      if (Logic.functionOutputSkolemP(term1)) {
        { Skolem _return_temp = ((Skolem)(term1));

          MV_returnarray[0] = term2;
          return (_return_temp);
        }
      }
      else if (Logic.functionOutputSkolemP(term2)) {
        { Skolem _return_temp = ((Skolem)(term2));

          MV_returnarray[0] = term1;
          return (_return_temp);
        }
      }
      else {
        { Skolem _return_temp = null;

          MV_returnarray[0] = null;
          return (_return_temp);
        }
      }
    }
  }