He had to have visited Miami before.
لقد سبق له وأن زار (ميامي) مسبقاً
زار ميامي من قبل.
Er muss schon mal in Miami gewesen sein.
Θα έχει ξαναέρθει στο Μαϊάμι.
Il a déjà dû visiter Miami.
Tiene que haber visitado Miami antes.