The factorial reduction, animated