Matching Extension In Bipartite Graphs Explained