Turns out that we can actually take a non-maximum maximal matching and extend it by changing the pairing of some of the nodes.
An augmenting path starts at an unmatched node on the left, then alternates taking white (unmatched) and blue (matched) edges back and forth until an unmatched node on the right is reached.
Example...
