Cofinality conjecture. For κ\kappaκ a characterizable cardinal, κ\kappaκ is not homogeneously characterizable if and only if