\stackrel{6}{\leftrightarrow} \left\{ \left( x,y \right) : \left( \left( x \in A \wedge x \notin A \right) \wedge y \in B \right) \vee \left( \left( x \in A \wedge y \in B \right) \wedge y \notin C \right) \right\} \stackrel{7}{\leftrightarrow} \left\{ \left( x,y \right) : x \in A \wedge \left( y \in B \wedge y \notin C \right) \right\}