avoir à être (EtreTemps)
have to be (BT)

NT: Have to be (zu sein haben, said of Dasein), 12, 42fn, 134-135, 244, 276, 284-285, 300. See also Facticity; “That I am”; Way to be (BT)