Your reduced one is nice!