Multitape_Alphabet_Enlargement.AlphabetEnlargement_Uniqueness