1: \begin{abstract}
2: In 1985, Barnsley and Harrington defined a ``Mandelbrot Set'' $\SetA$ for pairs of similarities
3: --- this is the set of complex numbers $z$ with $0<|z|<1$ for which the limit set of the
4: semigroup generated by the similarities $$x \mapsto zx \text{ and } x \mapsto z(x-1)+1$$ is connected.
5: Equivalently, $\SetA$ is the closure of the set of roots of polynomials with coefficients in
6: $\lbrace -1,0,1 \rbrace$. Barnsley and Harrington already noted the (numerically apparent)
7: existence of infinitely many small ``holes'' in $\SetA$, and conjectured that these holes
8: were genuine. These holes are very interesting, since they are ``exotic'' components of
9: the space of (2 generator) Schottky semigroups. The existence of at least one hole was
10: rigorously confirmed by Bandt in 2002, and he conjectured that the interior points are dense away from the real axis. We introduce the
11: technique of {\em traps} to construct and certify interior points of $\SetA$, and use them
12: to prove Bandt's Conjecture. Furthermore, our techniques let us certify the existence
13: of infinitely many holes in $\SetA$.
14: \end{abstract}
15: