$\renewcommand\Pr{\mathbb{P}}$ $\newcommand\E{\mathbb{E}}$