english: distinct elements of Ay and w ∈ {s ∈ S : X(s) = x1 } ∩ {t ∈ S : X(t) = x2 }
non_english: Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh Mèh ...