tilings, mixing, substitution, subshifts, conjugacy