 Now the other case: suppose that \(w\) is already engaged. There are two subcases. In case \(w\) prefers her own current fiancé, nothing happens. The resulting list of engaged pairs is still stable. The list of free men remains the same, for \(m\) proposed and got rejected.