Margulis–Zimmer conjecture. Every commensurated subgroup of Λ\LambdaΛ is either finite or S′S'S′-arithmetic for some S′⊆SS'\subseteq SS′⊆S.