Uncountably many settled elements are never Frobenius elements

Source abstract

Boston and Jones conjectured that given a number field $K$, a quadratic polynomial $f\in K[x]$, and an element $α\in K$ such that the arboreal Galois representation $ρ_{f,α}:\text{Gal}(\overline{K}/K)\to \text{Aut}(T_\infty)$ attached to the pair $(f,α)$ is well defined, any element in the image of such representation that is a Frobenius for an unramified prime of $K$ is a settled element. We exhibit an explicit uncountable subset $S\subseteq \text{Aut}(T_\infty)$, consisting of pairwise non-conjugate settled elements, such that no matter how $K,f,α$ are chosen, no element of $S$ can be a Frobenius for any ramified or unramified prime of $K$.