The **fish-scale conjecture**: In every poset not containing an infinite antichain there exist a chain $C$ and a decomposition of the vertex set into antichains $A_i$, such that $C\cap A_i \neq \emptyset$ for all $i\in I$. See Conjecture 10.1 in [this article](http://www.math.haifa.ac.il/berger/menger_2nd_submition.pdf) by Ron Aharoni and Eli Berger. Interestingly, this conjecture is implied by the following covering problem in hypergraphs: Let $H=(V,E)$ be a hypergraph with the following properties: 1. $\bigcup E = V$, 2. Any subset of $e\in E$ is a member of $E$, and 3. whenever $S\subseteq V$ and every $2$-element subset of $S$ belongs to $E$, then $S\in E$. Then there is $J\subseteq E$ such that whenever $K\subseteq E$ has the property that $\bigcup K = V$ then $|J\setminus K| \leq |K\setminus J|$. (In that case $J$ is said to be a "strongly minimal cover" because it covers $V$ "more efficiently" in some sense, than any other cover.) This covering problem is mentioned in Conjecture 10.3.(2) of the same paper.