public static Proposition buildCollectIntoProposition(Cons tree) {
    { Proposition proposition = Logic.createProposition(Logic.SYM_STELLA_COLLECT_INTO, 2);
      Vector argumentsvector = proposition.arguments;

      (argumentsvector.theArray)[0] = (Logic.evaluateTerm(tree.rest.value));
      (argumentsvector.theArray)[1] = (Logic.evaluateTerm(tree.rest.rest.value));
      return (proposition);
    }
  }