Sierakowski's conjecture. If the action of Γ\GammaΓ on A^\widehat{A}A is essentially free, then AAA separates the ideals of A⋊rΓA\rtimes_r\GammaA⋊rΓ.