Notes on Semi-Streaming Matching. Mars Xiang