public static Proposition beginCreatingFunctionProposition(GeneralizedSymbol surrogate, Cons inputarguments) {
    { int argcount = inputarguments.length() + 1;
      Proposition proposition = Logic.createProposition(Logic.SYM_STELLA_FUNCTION, argcount);

      proposition.operator = surrogate;
      { Stella_Object arg = null;
        Cons iter000 = inputarguments;
        int i = Stella.NULL_INTEGER;
        int iter001 = 0;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest, iter001 = iter001 + 1) {
          arg = iter000.value;
          i = iter001;
          (proposition.arguments.theArray)[i] = arg;
        }
      }
      return (proposition);
    }
  }