Demo: Stable Matching in Example 1.2.