correct but in ReducName + a few changes