Congruence cohomology conjecture for groups with discrete series

Let $G$ be a semisimple group with discrete series. Let $\pi\in\widehat G$ be a cohomological representation, and consider the question of whether there is a lattice $\Gamma$ in $G$ such that $\pi$ occurs discretely in $L^2(\Gamma\backslash G)$. Congruence cohomology conjecture. The answer to this question is always positive for $G$. The assertion is presented as a consequence of the automorphic functoriality and isolation conjectures, and is not established unconditionally in the source.