they compute $S$ and verify that $|S| > 2$. 6. The combinations where they used the same effective basis — $(\hat{a}_2, \hat{b}_3)$ or equivalently $(\hat{a}_3, \hat{b}_2)$, which both correspond to $45°$ — produce perfectly anticorrelated outcomes. These bits form the key.