reduce --> $SYMBOLIC