MSO new proof