1: \begin{definition}\label{def:feasible-matching}

2: 		A matching $M$ in a bipartite graph $G$ is {\em feasible} if the following conditions are satisfied:

3: 		\begin{enumerate}

4: 			\item The graph $G' = G-M$ is a disjoint union of bicliques (equivalently: $P_4$-free).

5: 			\item For $U\subseteq V(G)$, if $G[U]$ is a $C_6$, then $G'[U]$ is the disjoint union of three edges.

6: %\mnote{Just a suggestion (I would not insist on it): technically speaking, an edge is not a graph. It would be more correct to write  $G'[U]\cong 3K_2$ (of course, after having introduced notation $\cong$ for the graph isomorphism relation and after having defined the graph $3K_2$ as the disjoint union of three $K_2$s). Similarly, in condition 3, we could write $G'[U]\cong C_4+K_2$. This comment, if implemented, would also affect the formulation of Theorem~\ref{thm:readability-2-characterization}.}

7: 			\item For $U\subseteq V(G)$, if $G[U]$ is a domino, then $G'[U]$ is the disjoint union of a $C_4$ and an edge.

8: 		\end{enumerate}

9: 	\end{definition}

10: