public static void printKifFunctionExpression(Proposition self) {
    { String downcasedname = Proposition.stringifiedKifOperator(self);

      Logic.printKifOperatorWithArguments(downcasedname, self.arguments, false, true);
    }
  }