 Next, inspect what happens in a single step in the algorithm. The precondition for the step is that there is at least one free man \(m\) left. Such a free man \(m\) proposes to the highest woman \(w\) on his list to whom he has not yet proposed.