Algunos de sus otros nombres son "Tin Cilens" y "Tin Θuf".