<-

Формула have/has to является полным заменителем must (должен) в настоящем времени:
Субъект + have/has to + Слов. форма глагола