public static Stella_Object propositionArgumentComputation(Proposition p, IntegerWrapper i) {
    { Vector arguments = p.arguments;

      if ((i.wrapperValue >= 0) &&
          (i.wrapperValue < arguments.length())) {
        return ((arguments.theArray)[(i.wrapperValue)]);
      }
      else {
        return (null);
      }
    }
  }