Simson's infinite tame-wild dichotomy conjecture. Every coalgebra CCC is either tame or wild, but not both.
