1: \begin{abstract}

2:   An old problem asks whether every compact group has a Haar-nonmeasurable subgroup. A series of earlier results reduce the problem to infinite metrizable profinite groups. 

3:   We provide a positive answer, assuming a weak, potentially provable,

4:    consequence of \CH{}. We also establish the dual, Baire category analogue of this result.

5: \end{abstract}