public static void changeKifExpressionsToStellaExpressions(Cons expressions, boolean termsP) {
    { ConsIterator it = expressions.allocateIterator();

      while (it.nextP()) {
        it.valueSetter((termsP ? Logic.kifTermToUntypedStellaTerm(it.value) : Logic.kifSentenceToUntypedStellaSentence(it.value)));
      }
    }
  }