  We present and study the following conjecture: for an integer $t\geq 4$ and a
graph $H$, every even-hole-free graph of large enough treewidth has an induced
subgraph isomorphic to either $K_t$ or $H$, if (and only if) $H$ is a
$K_4$-free chordal graph. The ``only if'' part follows from the properties of
the so-called layered wheels due to Sintiari and Trotignon.
  Alecu, Chudnovsky, Spirkl and the author recently proved the conjecture in
two special cases: (a) when $t=4$; and (b) when $H=cone (F)$ for some forest
$F$; that is, $H$ is obtained from $F$ by adding a universal vertex. Our first
result is a common strengthening: for an integer $t\geq 4$ and graphs $F$ and
$H$, (even-hole, $cone(cone (F))$, $H$, $K_t$)-free graphs have bounded
treewidth if and only if $F$ is a forest and $H$ is a $K_4$-free chordal graph.
  For general $t\geq 4$, we push the current state of the art further than (b)
by settling the conjecture for the smallest choices of $H$ that are not coned
forests. This follows from our second result: we prove the conjecture when $H$
is a crystal; that is, a graph obtained from several coned double stars by
gluing them together along the middle edges of the double stars.
  We also propose another conjecture motivated by the following observation:
except for complete graphs and complete bipartite graphs, all the constructions
of graphs with unbounded treewidth which have been discovered so far are
$2$-degenerate. Specifically, we conjecture that for every $t\geq 1$, every
graph of sufficiently large treewidth has an induced subgraph of treewidth $t$
which is either complete, complete bipartite, or $2$-degenerate. This
conjecture is the first to predict a grid-type theorem for induced subgraphs,
and what makes it even more relevant is somewhat serendipitous: if true, it
would imply our former conjecture by reducing it to (a).
