Holzer reduction implemented