We call a hypergraph H=(V,E)H=(V,E) bipartite if there is SVS\subseteq V with eSe\cap S and eSe\setminus S both nonempty for all eEe\in E. If (ω,E)(\omega, E) is not bipartite and all members are infinite, do ...