Comment by @nhchfj5112 • Hey

differentiates from $DEGEN